Table of contents

  1. Front Matter
  2. Yonit Kesten, Amir Pnueli, Li-on Raviv
    Pages 1-16
  3. Bernd Borchert, Dietrich Kuske, Frank Stephan
    Pages 17-28
  4. Jean-FranÇois Raymond, Pascal Tesson, Denis Thérien
    Pages 29-40
  5. Rajeev Alur, Ken McMillan, Doron Peled
    Pages 41-52
  6. Xinxin Liu, Scott A. Smolka
    Pages 53-66
  7. C. Dufourd, A. Finkel, Ph. Schnoebelen
    Pages 103-115
  8. Mark H. Overmars
    Pages 116-117
  9. Richie Chih-Nan Chuang, Ashim Garg, Xin He, Ming-Yang Kao, Hsueh-I Lu
    Pages 118-129
  10. Thorsten Graf, Kamakoti Veezhinathan
    Pages 130-139
  11. Bernard Boigelot, Stéphane Rassart, Pierre Wolper
    Pages 152-163
  12. MagnÚs M. Halldórsson, Jan Kratochvíl, Jan Arne Telle
    Pages 176-187
  13. Madhavan Mukund, K. Narayan Kumar, Jaikumar Radhakrishnan, Milind Sohoni
    Pages 188-199
  14. Petr Jančar, Antonín Kučera, Richard Mayr
    Pages 200-211
  15. A. Pnneli, O. Shtriehman, M. Siegel
    Pages 235-246
  16. Stasys Jukna, Stanislav Žák
    Pages 259-270
  17. Amir M. Ben-Amram, Holger Petersen
    Pages 271-282
  18. Paolo Baldan, Andrea Corradini, Ugo Montanari
    Pages 283-295
  19. F. Gadducci, U. Montanari
    Pages 296-308
  20. Conrado Martínez, Salvador Roura
    Pages 327-338
  21. John Power, Giuseppe Rosolini
    Pages 351-362
  22. Pasquale Malacaria, Chris Hankin
    Pages 363-374
  23. Ming-Yang Kao, Jie Wang
    Pages 375-386
  24. Cristina Bazgan, Miklos Santha, Zsolt Tuza
    Pages 387-396
  25. Eduardo Giménez
    Pages 397-408
  26. Juhani Karhumäki, Arto Lepistö, Wojciech Plandowski
    Pages 421-430
  27. Jean-éric Pin
    Pages 431-442
  28. Björn Victor, Joachim Parrow
    Pages 455-469
  29. Michele D'amico, Giovanni Manzini, Luciano Margara
    Pages 470-481
  30. Adam L. Buchsbaum, Raffaele Giancarlo, Jeffery R. Westbrook
    Pages 482-493
  31. Paul-André Melliès
    Pages 518-529
  32. Thomas A. Henzinger
    Pages 543-543
  33. Shiva Chaudhuri, K. V. Subrahmanyam, Frank Wagner, Christos D. Zaroliagis
    Pages 556-567

About these proceedings


This book constitutes the refereed proceedings of the 25th International Colloquium on Automata, Languages and Programming, ICALP'98, held in Aalborg, Denmark, in July 1998.
The 70 revised full papers presented together with eight invited contributions were carefully selected from a total of 182 submissions. The book is divided in topical sections on complexitiy, verification, data structures, concurrency, computational geometry, automata and temporal logic, algorithms, infinite state systems, semantics, approximation, thorem proving, formal languages, pi-calculus, automata and BSP, rewriting, networking and routing, zero-knowledge, quantum computing, etc..


Algorithms Concurrency Mathematical Logic Networking Processing Text programming robot

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1998
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-64781-2
  • Online ISBN 978-3-540-68681-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site