Table of contents

  1. Front Matter
  2. Maurizio Gabbrielli, Giorgio Levi
    Pages 1-19
  3. Hong Chen, Jieh Hsiang
    Pages 20-34
  4. Antonio Bucciarelli, Thomas Ehrhard
    Pages 35-46
  5. Christine Ernoult, Alan Mycroft
    Pages 47-59
  6. Val Breazu-Tannen, Ramesh Subrahmanyam
    Pages 60-75
  7. A. Bouajjani, J. C. Fernandez, S. Graf, C. Rodriguez, J. Sifakis
    Pages 76-92
  8. Limor Fix, Nissim Francez, Orna Grumberg
    Pages 93-114
  9. Rajeev Alur, Costas Courcoubetis, David Dill
    Pages 115-126
  10. Rance Cleaveland, Bernhard Steffen
    Pages 127-138
  11. Y. Ben-Asher, D. Peleg, R. Ramaswami, A. Schuster
    Pages 139-150
  12. Jean-Denis Fouks
    Pages 151-162
  13. Sampath Kannan, Andrew Yao
    Pages 163-173
  14. Jānis Kaņeps, Rūsiņš Freivalds
    Pages 174-185
  15. R. Casas, J. Díaz, C. Martinez
    Pages 186-203
  16. Kim Guldstrand Larsen
    Pages 204-216
  17. Volker Diekert, Edward Ochmanski, Klaus Reinhardt
    Pages 229-241
  18. Gérard Duchamp, Daniel Krob
    Pages 242-253
  19. Paul Gastin, Antoine Petit, Wieslaw Zielonka
    Pages 254-266

About these proceedings


This volume contains the proceedings of ICALP '91, the 18th annual summer conference sponsored by the European Association for Theoretical Computer Science (EATCS). ICALP stands for International Colloquium on Automata, Languages, and Programming, and this conference series covers all important areas of theoretical computer science, such as: computability, automata, formal languages, data types and structures, theory of databases and knowledge bases, semantics of programming languages, program specification, transformation and verification, foundations of logic and functional programming, theory of logical design and layout, parallel and distributed computation, theory of concurrency, symbolic and algebraic computation, term rewriting systems, computational geometry, cryptography, and theory of robotics.


Automat Layout automata computer science database formal language formal languages knowledge base programming programming language robot robotics semantics term rewriting verification

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag 1991
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-54233-9
  • Online ISBN 978-3-540-47516-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book