Table of contents

  1. Front Matter
  2. Martín Abadi, Leslie Lamport, Pierre Wolper
    Pages 1-17
  3. Eric Allender, Lane A. Hemachandra
    Pages 31-45
  4. Ricardo A. Baeza-Yates, Gaston H. Gonnet
    Pages 46-62
  5. Danièle Beauquier, Jean-Eric Pin
    Pages 63-79
  6. Piotr Berman, Juan A. Garay
    Pages 80-94
  7. Gianfranco Bilardi, Abha Moitra
    Pages 95-107
  8. Corrado Böhm
    Pages 108-122
  9. Gilles Brassard, Claude Crépeau, Moti Yung
    Pages 123-136
  10. Bernard Chazelle, Herbert Edelsbrunner, Leonidas J. Guibas, Micha Sharir
    Pages 179-193
  11. Loïc Colson
    Pages 194-206
  12. Karel Culik II, Tero Harju
    Pages 222-233
  13. Ph. Darondeau, P. Degano
    Pages 234-248
  14. Nachum Dershowitz, Stéphane Kaplan, David A. Plaisted
    Pages 249-262
  15. H. Ehrig, P. Pepper, F. Orejas
    Pages 263-288

About these proceedings

Introduction

This volume contains the proceedings of ICALP 89, held at Stresa, Italy, July 11-15, 1989. ICALP 89 is the 16th 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 theory, formal language theory, analysis of algorithms, computational complexity, mathematical aspects of programming language definition, logic and semantics of programming languages, foundations of logic programming, theorem proving, software specification, computational geometry, data types and data structures, theory of data bases and knowledge based systems, cryptography, VLSI structures, parallel and distributed computing, models of concurrency and robotics.

Keywords

Automat Graph algorithms automata automata theory complexity computability concurrency formal language linear optimization logic programming language theorem proving theoretical computer science

Bibliographic information

  • DOI https://doi.org/10.1007/BFb0035746
  • Copyright Information Springer-Verlag 1989
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-51371-1
  • Online ISBN 978-3-540-46201-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book