CAAP '92 : 17th Colloquium on Trees in Algebra and Programming Rennes, France, February 26-28, 1992. Proceedings

>> Google Books

CAAP '92 : 17th Colloquium on Trees in Algebra and Programming Rennes, France, February 26-28, 1992. Proceedings / edited by Jean-Claude Raoult

版:

1st ed. 1992

資料種別:

電子ブック

形態:

IX, 491 p.

シリーズ名:

Lecture Notes in Computer Science ; 581

著者名:

ISBN:

9783540467991 [3540467998]
9783662162415 [3662162415]
9783540552512 [3540552510]

書誌ID:

EB00003924

子書誌情報

フルテキスト

所蔵情報

書誌詳細

注記:

This volume contains selected papers presented at the seventeenth Colloquiumon Trees in Algebra and Programming (CAAP) held jointly with the European Symposium on Programming (ESOP) in Rennes, France, February 26-28, 1992 (the proceedings of ESOP appear in LNCS 582). The previous colloquia were held in France, Italy, Germany, Spain, Denmark and England. Every even year, as in 1992, CAAP is held jointly with ESOP; every other year, it is part of TAPSOFT (Theory And Practice of SOFTware development). In the beginning, CAAP was devoted to algebraic and combinatorial properties of trees and their role in various fields of computer science. The scope of CAAP has now been extended to other discrete structures, like graphs, equations and transformations of graphs, and their links with logical theories. The programme committee received 40 submissions, from which 19 papers have been selected for inclusion inthis volume.

主題:

Algorithms; Computer Science Logic and Foundations of Programming; Programming Techniques; Software Engineering; Theory of Computation

目次情報:

東工大ブックレビュー

類似資料:

1 図書 CAAP '92 : 17th Colloquium on Trees in Algebra and Programming, Rennes, France, February 26-28, 1992 : proceedings (: gw ; : us) Colloquium on Trees in Algebra and Programming, Raoult, J.-C. (Jean-Claude) Springer-Verlag	7 電子ブック ESOP '92 : 4th European Symposium on Programming, Rennes, France, February 26-28, 1992. Proceedings Krieg-Brückner, Bernd., SpringerLink (Online service)
2 電子ブック Trees in Algebra and Programming - CAAP '94 : 19th International Colloquium, Edinburgh, U.K., April 11 - 13, 1994. Proceedings Tison, Sophie., SpringerLink (Online service)	8 電子ブック STACS 96 : 13th Annual Symposium on Theoretical Aspects of Computer Science, Grenoble, France, February 22-24, 1996. Proceedings Puech, Claude., Reischuk, Rüdiger., SpringerLink (Online service)
3 電子ブック CAAP'86 : 11th Colloquium on Trees in Algebra and Programming, Nice, France, March 24-26, 1986. Proceedings Franchi-Zannettacci, Paul., SpringerLink (Online service)	9 電子ブック Mathematics of Program Construction : Third International Conference, MPC '95, Kloster Irsee, Germany, July 17 - 21, 1995. Proceedings Möller, Bernhard., SpringerLink (Online service)
4 電子ブック TAPSOFT '93: Theory and Practice of Software Development : 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993. Proceedings Gaudel, Marie-Claude., Jouannaud, Jean-Pierre., SpringerLink (Online service)	10 電子ブック Mathematical Foundations of Computer Science 1992 : 17th International Symposium, Prague, Czechoslovakia, August 24-28, 1992. Proceedings Havel, Ivan M., Koubek, Vaclav., SpringerLink (Online service)
5 電子ブック Trees in Algebra and Programming - CAAP '96 : 21st International Colloquium, Linköping, Sweden, April 22-24, 1996. Proceedings Kirchner, Helene., SpringerLink (Online service)	11 電子ブック Programming Language Implementation and Logic Programming : 4th International Symposium, PLILP ’92, Leuven, Belgium, August 26–28, 1992 Proceedings Bruynooghe, Maurice., Wirsing, Martin., SpringerLink (Online service)
6 電子ブック Mathematics of Program Construction : 4th International Conference, MPC'98, Marstrand, Sweden, June 15-17, 1998, Proceedings Jeuring, Johan., SpringerLink (Online service)	12 電子ブック STACS 94 : 11th Annual Symposium on Theoretical Aspects of Computer Science Caen, France, February 24–26, 1994 Proceedings Enjalbert, Patrice., Mayr, Ernst W., Wagner, Klaus W., SpringerLink (Online service)

1

2

3

4

5

6

7

8

9

10

11

12