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
  16. Joost Engelfriet, Hendrik Jan Hoogeboom
    Pages 289-303
  17. David Eppstein, Zvi Galil
    Pages 304-318
  18. David Feldman, Russell Impagliazzo, Moni Naor, Noam Nisan, Steven Rudich, Adi Shamir
    Pages 319-340
  19. Donald Fussell, Vijaya Ramachandran, Ramakrishna Thurimella
    Pages 379-393
  20. Zvi Galil, Kunsoo Park
    Pages 394-404
  21. Giorgio Gambosi, Enrico Nardelli, Maurizio Talamo
    Pages 405-422
  22. Jan Friso Groote, Frits Vaandrager
    Pages 423-438
  23. Torben Hagerup, Manfred Nowak
    Pages 439-450
  24. Johan Håstad
    Pages 451-460
  25. Dorit S. Hochbaum, J. George Shanthikumar
    Pages 461-472
  26. Claire M. Kenyon-Mathieu, Jeffrey Scott Vitter
    Pages 473-487
  27. Ming Li, Paul M. B. Vitanyi
    Pages 488-505
  28. Ming Li, Paul M. B. Vitanyi
    Pages 506-520
  29. G. Louchard, B. Randrianarimanana, R. Schott
    Pages 521-533
  30. Zohar Manna, Amir Pnueli
    Pages 534-558
  31. Yishay Mansour, Baruch Schieber, Prasoon Tiwari
    Pages 559-573
  32. P. McKenzie, D. Thérien
    Pages 589-602
  33. Christos H. Papadimitriou, Mihalis Yannakakis
    Pages 610-620
  34. Francesco Parisi-Presicce
    Pages 621-636
  35. Dominique Perrin
    Pages 637-651
  36. Amir Pnueli, Roni Rosner
    Pages 652-671
  37. Kirk Pruhs, Udi Manber
    Pages 672-686
  38. Prabhakar Raghavan, Marc Snir
    Pages 687-703
  39. John C. Reynolds
    Pages 704-722
  40. Bernhard Steffen
    Pages 723-732

About these proceedings


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.


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

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 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
  • Buy this book on publisher's site