Table of contents

  1. Front Matter
  2. Yonatan Aumann, Judit Bar-Ilan, Uriel Feige
    Pages 47-58
  3. Noa Globerman, David Harel
    Pages 73-82
  4. Paris C. Kanellakis, Gerd G. Hillebrand, Harry G. Mairson
    Pages 83-105
  5. Marc Gyssens, Jan Van den Bussche, Dirk Van Gucht
    Pages 106-117
  6. Erich Grädel, Yuri Gurevich
    Pages 118-129
  7. Nils Klarlund, Madhavan Mukund, Milind Sohoni
    Pages 130-141
  8. Flavio Corradini, Rocco De Nicola
    Pages 154-165
  9. Rainer Gawlick, Roberto Segala, Jørgen Søgaard-Andersen, Nancy Lynch
    Pages 166-177
  10. José -Ramón Sánchez-Couso, María -Inés Fernández-Camacho
    Pages 178-190
  11. Ramesh Hariharan, S. Muthukrishnan
    Pages 203-214
  12. Amihood Amir, Gary Benson, Martin Farach
    Pages 215-226
  13. Giuseppe F. Italiano, Rajiv Ramaswami
    Pages 227-238
  14. Joseph Gil, Yossi Matias
    Pages 239-250
  15. Teresa M. Przytycka, Lawrence L. Larmore
    Pages 251-262
  16. J. -C. Birget, S. Margolis, J. Meakin, P. Weil
    Pages 274-285
  17. M. Hennessy
    Pages 286-303
  18. Parosh Aziz Abdulla, Bengt Jonsson
    Pages 316-327
  19. Limor Fix, Fred B. Schneider
    Pages 328-339
  20. Gordon Plotkin, Glynn Winskel
    Pages 352-363
  21. Adnan Aziz, Vigyan Singhal, Felice Balarin, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
    Pages 364-375
  22. Helmut Seidl
    Pages 400-411
  23. Günter Hotz, Gisela Pitsch
    Pages 412-423
  24. Anne -Cécile Caron, Hubert Comon, Jean -Luc Coquidé, Max Dauchet, Florent Jacquemard
    Pages 436-449
  25. Claus Hintermeier, Claude Kirchner, Hélène Kirchner
    Pages 450-461
  26. Naveen Garg, Vijay V. Vazirani, Mihalis Yannakakis
    Pages 487-498
  27. S. Nikoletseas, K. Palem, P. Spirakis, M. Yung
    Pages 508-519
  28. Jens Lagergren
    Pages 520-531
  29. Raphael Yuster, Uri Zwick
    Pages 532-543
  30. F. Höfting, E. Wanke
    Pages 544-555
  31. Carlo Blundo, Alfredo De Santis, Ugo Vaccaro
    Pages 568-579
  32. Rusins Freivalds, Marek Karpinski
    Pages 580-592
  33. Andreas Jakoby, Christian Schindelhauer, Rüdiger Reischuk, Stephan Weis
    Pages 593-604

About these proceedings


This volume constitutes the proceedings of the 21st International Colloquium on Automata, Languages and Programming (ICALP 94), held at Jerusalem in July 1994. ICALP is an annual conference sponsored by the European Association on Theoretical Computer Science (EATCS). The proceedings contains 48 refereed papers selected from 154 submissions and 4 invited papers. The papers cover the whole range of theoretical computer science; they are organized in sections on theory of computation, automata and computation models, expressive power, automata and concurrency, pattern matching, data structures, computational complexity, logic and verification, formal languages, term rewriting, algorithms and communications, graph algorithms, randomized complexity, various algorithms.


Automat algorithm algorithms automata complexity computer computer science data structure data structures formal language formal languages logic programming term rewriting verification

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1994
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-58201-4
  • Online ISBN 978-3-540-48566-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site