Advertisement

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
  16. Doron Peled
    Pages 291-307
  17. Owen Rambow, Giorgio Satta
    Pages 308-321
  18. Bodonirina Ratoandromanana, Denis Robilliard
    Pages 322-334
  19. Morten Heine Sørensen
    Pages 335-351
  20. Back Matter

About these proceedings

Introduction

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.

Keywords

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

Bibliographic information

  • DOI https://doi.org/10.1007/BFb0017469
  • Copyright Information Springer-Verlag Berlin Heidelberg 1994
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-57879-6
  • Online ISBN 978-3-540-48373-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site