Table of contents

  1. Front Matter
  2. Hubert Comon, Ralf Treinen
    Pages 1-14
  3. Joost Engelfriet
    Pages 15-36
  4. Fabio Alessi
    Pages 37-51
  5. Paola Bruscoli, Francesca Levi, Giorgio Levi, Maria Chiara Meo
    Pages 52-67
  6. Alain Cournier, Michel Habib
    Pages 68-84
  7. Philippe de Groote
    Pages 85-99
  8. R. Giancarlo, F. Mignosi
    Pages 130-141
  9. Reinhold Heckmann
    Pages 142-156
  10. Dieter Hofbauer, Maria Huber, Gregory Kucherov
    Pages 157-171
  11. Zurab Khasidashvili
    Pages 172-186
  12. Nils Klarlund, Michael I. Schwartzbach
    Pages 187-201
  13. Donatella Merlini, Renzo Sprugnoli, M. Cecilia Verri
    Pages 218-233
  14. Yves Métivier, Nasser Saheb
    Pages 234-245
  15. Jens Palsberg
    Pages 276-290

About these proceedings


This volume contains the papers selected for presentation at the 19th Colloquium on Trees in Algebra and Programming (CAAP '94), which was held jointly with the fifth European Symposium on Programming (ESOP '94) in Edinburgh in April 1994. Originally this colloquium series was devoted to the algebraic and combinatorial properties of trees, and their role in various fields of computer science. Taking into account the evolution of computer science, CAAP '94 focuses on logical, algebraic and combinatorial properties of discrete structures (strings, trees, graphs, etc.); the topics also include applications to computer science provided that algebraic or syntactic methods are involved. The volume contains 21 papers selected from 51 submissions as well as two invited papers.


Algebraic Structures Baum-Strukturen Combinatorial Structures Kombinatorische Strukturen Program Analysis Programmanalysen Programmieren algorithm algorithms automata calculus logic model checking petri net programming

Bibliographic information

Industry Sectors
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment