Overview
- Editors:
-
-
M. Dauchet
-
M. Nivat
Access this book
Other ways to access
Table of contents (20 papers)
-
-
-
-
-
- Johannes Köbler, Uwe Schöning, Jacobo Toran
Pages 40-51
-
-
- J. Françon, B. Randrianarimanana, R. Schott
Pages 72-88
-
-
-
-
- Bernhard Möller, Andrzej Tarlecki, Martin Wirsing
Pages 132-148
-
- Francesco Parisi-Presicce
Pages 149-164
-
- Isabelle Gnaedig, Claude Kirchner, Hélène Kirchner
Pages 165-184
-
-
- Jennifer Widom, Prakash Panangaden
Pages 200-214
-
-
-
- Max Michel, Jean-Bernard Stefani
Pages 244-257
-
- Roberto Gorrieri, Sergio Marchetti, Ugo Montanari
Pages 258-270
-
- C. Huizing, R. Gerth, W. P. de Roever
Pages 271-294
About this book
This volume contains the proceedings of the 13th Colloquium on Trees in Algebra and Programming (CAAP '88), held in Nancy, March 21-24, 1988. The preceding 12 colloquia were held in France, Italy and Germany. CAAP '85 and CAAP '87 were integrated into the International Joint Conference on Theory and Practice of Software Development, TAPSOFT (see Lecture Notes in Computer Science volumes 185 and 249). As another effort to link theory and practice in computer science, CAAP '88 was held in conjunction with the European Symposium on Programming, ESOP '88 (see volume 300 of this Lecture Notes series). CAAP '88 is a conference in the area of program development and programming concepts but, following the tradition, is devoted to theoretical aspects, and especially to Trees, a basic structure of computer science. A wider range of topics in theoretical computer science is also covered. The papers are on word, tree or graph languages, with algorithmic or complexity studies, on abstract data types (another classical topic of CAAP) and/or term rewriting systems and on non-standard logics, and parallelism and concurrency.