| ![](/p.gif) |
![](/p.gif) |
| Artikel-Nr.: 5667A-9783540552512 Herst.-Nr.: 9783540552512 EAN/GTIN: 9783540552512 |
| |
|
| ![](/p.gif) | ![](/p.gif) |
![](/p.gif) | 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. Weitere Informationen: ![](/p.gif) | ![](/p.gif) | Author: | Jean-Claude Raoult | Verlag: | Springer Berlin | Sprache: | eng |
|
| ![](/p.gif) | ![](/p.gif) |
![](/p.gif) | | ![](/p.gif) | ![](/p.gif) |
![](/p.gif) | Weitere Suchbegriffe: Algebra, EDV / Theorie / Programmieren / Allgemeines, Graph - Graphentheorie, Conditional Equations, Diskrete Strukturen, Logics and Formal languages, Logik und Formale Sprachen, Programmiersysteme, Programming Systems, Specification Techniques, Spezifikationstechniken |
| ![](/p.gif) | ![](/p.gif) |
| |