Table of contents

  1. Front Matter
  2. Manfred Broy, Martin Wirsing
    Pages 1-34
  3. M. Coppo, M. Dezani, G. Longo
    Pages 35-64
  4. D. Janssens, G. Rozenberg
    Pages 114-128
  5. J. Beauquier
    Pages 129-140
  6. M. A. Bonuccelli, E. Lodi, F. Luccio, P. Maestrini, L. Pagli
    Pages 155-166
  7. M. F. Claerebout, E. Lilin
    Pages 167-178
  8. M. Coppo, E. Giovannetti
    Pages 179-190
  9. B. Courcelle, F. Lavandier
    Pages 191-204
  10. François Fages, Gérard Huet
    Pages 205-220
  11. F. S. Makedon, C. H. Papadimitriou, I. H. Sudborough
    Pages 317-331

About these proceedings

Keywords

Morphism algebra algorithm algorithms automata equation grammars programming proof semantics

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-12727-5
  • Copyright Information Springer-Verlag 1983
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-12727-7
  • Online ISBN 978-3-540-38714-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book