Table of contents

  1. Front Matter
  2. A. Ehrenfeucht, T. Harju, G. Rozenberg
    Pages 1-14
  3. Zoltán ésik, Michael Bertol
    Pages 27-38
  4. Werner Kuich
    Pages 39-50
  5. Karel Culik, Jarkko Kari
    Pages 51-62
  6. Yves Métivier, GwénaËl Richomme, Pierre-André Wacrenier
    Pages 75-86
  7. Hans L. Bodlaender, Babette de Fluiter
    Pages 87-98
  8. J. -C. Bermond, L. Gargano, A. A. Rescigno, U. Vaccaro
    Pages 135-146
  9. Feng Bao, Yoshihide Igarashi
    Pages 147-158
  10. S. Nikoletseas, J. Reif, P. Spirakis, M. Yung
    Pages 159-170
  11. Carlo Blundo, Alfredo De Santis, Giuseppe Persiano, Ugo Vaccaro
    Pages 171-182
  12. RŪsiņš Freivalds, Marek Karpinski
    Pages 183-195
  13. Johannes Köbler, Osamu Watanabe
    Pages 196-207
  14. Frank Bauernöppel, Evangelos Kranakis, Danny Krizanc, Anil Maheshwari, Marc Noy, Jörg-Rüdiger Sack et al.
    Pages 220-231
  15. Vincenzo Auletta, Domenico Parente, Giuseppe Persiano
    Pages 232-243
  16. Shiva Chaudhuri, Christos D. Zaroliagis
    Pages 244-255
  17. Hans L. Bodlaender, Torben Hagerup
    Pages 268-279
  18. Monika Rauch Henzinger
    Pages 280-291
  19. Derek G. Corneil, Stephan Olariu, Lorna Stewart
    Pages 292-302
  20. Stefano Leonardi, Alberto Marchetti-Spaccamela
    Pages 303-314
  21. H. Petersen
    Pages 315-323
  22. Thomas A. Henzinger
    Pages 324-335
  23. Luis-Miguel Lopez, Philippe Narbel
    Pages 336-347
  24. Jean-Eric Pin, Pascal Weil
    Pages 348-359
  25. Amir M. Ben-Amram, Zvi Galil
    Pages 360-371
  26. Andrea Pietracaprina, Geppino Pucci
    Pages 372-383
  27. Stephen A. Fenner, Jack H. Lutz, Elvira Mayordomo
    Pages 393-404
  28. Thomas A. Henzinger, Peter W. Kopke, Howard Wong-Toi
    Pages 417-428
  29. T. Harju, J. KarhumÄki, W. Plandowski
    Pages 444-454
  30. Pavol ďuriš, Zvi Galil
    Pages 455-463
  31. Panayiotis Bozanis, Nectarios Kitsios, Christos Makris, Athanasios Tsakalidis
    Pages 464-474
  32. Bernd Becker, Rolf Drechsler, Michael Theobald
    Pages 475-486
  33. M. V. Marathe, R. Ravi, R. Sundaram, S. S. Ravi, D. J. Rosenkrantz, H. B. Hunt III
    Pages 487-498
  34. Albert Rubio
    Pages 511-522
  35. Sergio Greco, Domenico Saccà, Carlo Zaniolo
    Pages 523-534
  36. JØrgen H. Andersen, Kåre J. Kristoffersen, Kim G. Larsen, Jesper Niedermann
    Pages 535-546
  37. Manuel Blum, Bruno Codenotti, Peter Gemmell, Troy Shahoumian
    Pages 547-557
  38. Lance Fortnow, RŪsiņš Freivalds, William I. Gasarch, Martin Kummer, Stuart A. Kurtz, Carl Smith et al.
    Pages 558-569

About these proceedings


This volume constitutes the proceedings of the 22nd Interna- tional Colloquium on Automata, Languages, and Programming, held under the sponsorship of EATCS in Szeged, Hungary in July 1995.
The volume presents four invited papers and 53 full revised research papers selected from a total of 111 submissions. ICALP traditionally covers the whole area of theoretical computer science; among the topics addressed in the volume are concurrency, automata, formal languages, algorithms, communication protocols, computational complexity, computability, foundations of programming, learning and coding, and semantics.


Automat algorithm algorithms automata communication complexity formal language programming semantics

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1995
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-60084-8
  • Online ISBN 978-3-540-49425-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
IT & Software
Energy, Utilities & Environment
Oil, Gas & Geosciences