Advertisement

Table of contents

  1. Front Matter
  2. François Bergeron, Philippe Flajolet, Bruno Salvy
    Pages 24-48
  3. Reinhold Heckmann
    Pages 165-181
  4. U. De'Liguoro, A. Piperno
    Pages 203-220
  5. Andrea Maggiolo-Schettini, Józef Winkowski
    Pages 221-231
  6. Wuxu Peng, S. Purushothaman
    Pages 248-264
  7. Andreas Potthoff
    Pages 265-278
  8. Helmut Seidl
    Pages 279-299
  9. Steffen van Bakel, Sjaak Smetsers, Simon Brock
    Pages 300-321
  10. Uwe Wolter, Michael Löwe
    Pages 342-361
  11. Back Matter

About these proceedings

Introduction

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.

Keywords

Conditional Equations Diskrete Strukturen Logics and Formal languages Logik und Formale Sprachen Programmiersysteme Programming Systems Specification Techniques Spezifikationstechniken Topologie algorithm algorithms automata logic programming programming language

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-55251-0
  • Copyright Information Springer-Verlag Berlin Heidelberg 1992
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-55251-2
  • Online ISBN 978-3-540-46799-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Electronics
IT & Software
Telecommunications
Aerospace
Engineering