Table of contents

  1. Bruno Codenotti, Funda Ergün, Peter Gemmell, S. Ravi Kumar
    Pages 203-213
  2. Kohei Honda, Nobuko Yoshida
    Pages 225-236
  3. Roberto Di Cosmo, Neil Ghani
    Pages 237-247
  4. Eike Ritter, Valeria de Paiva
    Pages 248-258
  5. Andrea Asperti, Cosimo Laneve
    Pages 259-269
  6. Stephen Alstrup, Jacob Holm, Kristian de Lichtenberg, Mikkel Thorup
    Pages 270-280
  7. S. O. Krumke, M. V. Marathe, H. Noltemeier, R. Ravi, S. S. Ravi, R. Sundaram et al.
    Pages 281-291
  8. Anna Philippou, David Walker
    Pages 314-324
  9. Volker Diekert, Yuri Matiyasevich, Anca Muscholl
    Pages 336-346
  10. Ian A. Mason, Carolyn L. Talcott
    Pages 369-378
  11. Uwe Schwiegelshohn, Lothar Thiele
    Pages 379-389
  12. E. Cáceres, F. Dehne, A. Ferreira, P. Flocchini, I. Rieping, A. Roncato et al.
    Pages 390-400

About these proceedings


This book constitutes the refereed proceedings of the 24th International Colloquium on Automata, Languages and Programming, ICALP '97, held in Bologna, Italy, in July 1997. ICALP '97 celebrated the 25th anniversary of the European Association for Theoretical Computer Science (EATCS), which has sponsored the ICALP meetings since 1972.
The volume presents 73 revised full papers selected from a total of 197 submissions. Also included are six invited contributions. ICALP is one of the few flagship conferences in the area. The book addresses all current topics in theoretical computer science.


Algorithmen Constraint FlagShip Formale Sprachen Komplexität Nebenläufigkeit Partition Programmsemantik algorithms calculus complexity computability geometry logic sets

Bibliographic information

  • Book Title Automata, Languages and Programming
  • Book Subtitle 24th International Colloquium, ICALP '97 Bologna, Italy, July 7–11, 1997 Proceedings
  • Editors Pierpaolo Degano
    Roberto Gorrieri
    Alberto Marchetti-Spaccamela
  • Series Title Lecture Notes in Computer Science
  • Series Abbreviated Title Lect Notes Comput Sci
  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1997
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Softcover ISBN 978-3-540-63165-1
  • eBook ISBN 978-3-540-69194-5
  • Series ISSN 0302-9743
  • Series E-ISSN 1611-3349
  • Edition Number 1
  • Number of Pages XXXII, 864
  • Number of Illustrations 0 b/w illustrations, 0 illustrations in colour
  • Topics Theory of Computation
    Programming Techniques
    Programming Languages, Compilers, Interpreters
    Computer Communication Networks
    Mathematics of Computing
Industry Sectors
IT & Software
Consumer Packaged Goods
Finance, Business & Banking