Table of contents

  1. Front Matter
  2. Alok Aggarwal, Ashok K. Chandra
    Pages 1-17
  3. Stefan Arnborg, Jens Lagergren, Detlef Seese
    Pages 38-51
  4. R. J. R. Back, R. Kurki-Suonio
    Pages 52-66
  5. Chanderjit Bajaj, Myung-Soo Kim
    Pages 67-81
  6. Gyora M. Benedek, Alon Itai
    Pages 82-92
  7. Jean Berstel, Christophe Reutenauer
    Pages 93-104
  8. Hans L. Bodlaender
    Pages 105-118
  9. Richard Cole, Jeffrey Salowe, W. L. Steiger, Endre Szemerédi
    Pages 133-146
  10. Herbert Edelsbrunner
    Pages 201-213
  11. Herbert Edelsbrunner, Leonidas Guibas, Janos Pach, Richard Pollack, Raimund Seidel, Micha Sharir
    Pages 214-229
  12. Philippe Flajolet, Danièle Gardy, Loÿs Thimonier
    Pages 239-253

About these proceedings

Introduction

This volume contains the proceedings of ICALP 88, held at Tampere University of Technology, Finland, July 11-15, 1988. ICALP 88 is the 15th International Colloquium on Automata, Languages and Programming in a series of meetings sponsored by the European Association for Theoretical Computer Science (EATCS). It is a broadly based conference covering all aspects of theoretical computer science including topics such as computability, automata, formal languages, analysis of algorithms, computational complexity, data types and data structures, theory of data bases and knowledge bases, semantics of programming languages, program specification, transformation and verification, foundations of logic programming, theory of logical design and layout, parallel and distributed computation, theory of concurrency, symbolic and algebraic computation, term rewriting systems, cryptography, and theory of robotics.

Keywords

Automat algorithms automata complexity computer science data structure data structures formal language programming programming language robot robotics semantics term rewriting verification

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-19488-6
  • Copyright Information Springer-Verlag 1988
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-19488-0
  • Online ISBN 978-3-540-39291-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book
Industry Sectors
Electronics
Telecommunications
Biotechnology