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

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 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
  • About this book
Industry Sectors
Consumer Packaged Goods
Energy, Utilities & Environment
Oil, Gas & Geosciences