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

About these proceedings

Introduction

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..

Keywords

Algorithms Concurrency Mathematical Logic Networking Processing Text programming robot

Bibliographic information

  • DOI https://doi.org/10.1007/BFb0055035
  • Copyright Information Springer-Verlag 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
  • About this book