Advertisement

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
  13. Claude Kirchner, Hélène Kirchner, José Meseguer
    Pages 287-301
  14. Peter Kirschenhofer, Helmut Prodinger, Wojciech Szpankowski
    Pages 302-316
  15. J. N. Kok, J. J. M. M. Rutten
    Pages 317-332
  16. Clyde P. Kruskal, Larry Rudolph, Marc Snir
    Pages 333-346
  17. L. Kucera, A. Marchetti-Spaccamela, M. Protasi
    Pages 347-361
  18. Valtteri Niemi
    Pages 424-438
  19. Prakash Panangaden, Eugene W. Stark
    Pages 439-454
  20. Sanguthevar Rajasekaran, John H. Reif
    Pages 455-472
  21. R. Ramesh, I. V. Ramakrishnan
    Pages 473-488
  22. Hans Rohnert
    Pages 502-515
  23. Steven Rudich, Leonard Berman
    Pages 516-524
  24. Klaus Simon
    Pages 535-546
  25. Howard Straubing, Denis Thérien, Wolfgang Thomas
    Pages 561-575
  26. Satish Thatte
    Pages 615-629
  27. P. S. Thiagarajan
    Pages 630-653
  28. Vijay V. Vazirani, Mihalis Yannakakis
    Pages 667-681
  29. Klaus W. Wagner
    Pages 682-696

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 Berlin Heidelberg 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
  • Buy this book on publisher's site
Industry Sectors
Biotechnology
Electronics
IT & Software
Telecommunications