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
  20. Nachum Dershowitz
    Pages 267-278
  21. Hristo N. Djidjev, Grammati E. Pantziou, Christos D. Zaroliagis
    Pages 327-338
  22. Zvi Galil, Giuseppe F. Italiano
    Pages 339-350
  23. Martin Loebl
    Pages 351-362
  24. Uzi Vishkin
    Pages 363-380
  25. Desh Ranjan, Suresh Chari, Pankaj Rohatgi
    Pages 381-392
  26. Lane A. Hemachandra, Albrecht Hoene
    Pages 393-404
  27. Hermann Jung, Maria Serna, Paul Spirakis
    Pages 417-428
  28. Wolfgang Thomas
    Pages 441-454
  29. Walter Vogler
    Pages 495-505
  30. Luca Aceto, Matthew Hennessy
    Pages 506-519
  31. Dario Bini, Luca Gemignani, Victor Pan
    Pages 520-531
  32. Jens Lagergren, Stefan Arnborg
    Pages 532-543
  33. Hans L. Bodlaender, Ton Kloks
    Pages 544-555
  34. F. Cucker, A. Torrecillas
    Pages 556-565
  35. Juha Honkala, Arto Salomaa
    Pages 566-574
  36. Véronique Bruyere, Clelia De Felice
    Pages 575-587
  37. Thomas Wilke
    Pages 588-599
  38. Karel Culik II, Simant Dube
    Pages 600-614
  39. Yuri Gurevich
    Pages 615-628
  40. Tao Jiang, B. Ravikumar
    Pages 629-640

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 Berlin Heidelberg 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
  • Buy this book on publisher's site
Industry Sectors
Finance, Business & Banking
IT & Software
Consumer Packaged Goods