Advertisement

Table of contents

  1. Front Matter
  2. M. A. Nait Abdallah
    Pages 11-20
  3. Peter Dybjer
    Pages 21-30
  4. Steffen Hölldobler
    Pages 31-41
  5. Jieh Hsiang, Michael Rusinowitch
    Pages 54-71
  6. R. K. Shyamasundar, K. T. Narayana, T. Pitassi
    Pages 72-83
  7. J. C. M. Baeten, R. J. van Glabbeek
    Pages 84-94
  8. Susanne Graf, Joseph Sifakis
    Pages 115-125
  9. Kim G. Larsen, Robin Milner
    Pages 126-135
  10. Juhani Karhumäki
    Pages 136-162
  11. David A. Barrington, Denis Thérien
    Pages 163-173
  12. D. Beauquier
    Pages 174-189
  13. J. Howard Johnson
    Pages 202-211
  14. IJsbrand Jan Abalbersberg, Hendrik Jan Hoogeboom
    Pages 250-259
  15. Michal P. Chytil, Jiří Demner
    Pages 260-268
  16. K. Lodaya, P. S. Thiagarajan
    Pages 290-303
  17. Torben Hagerup, Marek Chrobak, Krzysztof Diks
    Pages 304-313
  18. Gad M. Landau, Baruch Schieber, Uzi Vishkin
    Pages 314-325
  19. R. Ramesh, R. M. Verma, T. Krishnaprasad, I. V. Ramakrishnan
    Pages 336-346
  20. Jan van Leeuwen, Nicola Santoro, Jorge Urrutia, Shmuel Zaks
    Pages 347-356
  21. Herbert Edelsbrunner, Günter Rote, Emo Welzl
    Pages 364-375
  22. Christos Levcopoulos, Andrzej Lingas, Jörg-R. Sack
    Pages 376-385
  23. Jin-yi Cai, Gabriele E. Meyer
    Pages 394-403
  24. G. Gambosi, J. Nešetřil, M. Talamo
    Pages 404-424
  25. Alberto Marchetti-Spaccamela, Carlo Vercellis
    Pages 445-456
  26. Martin Dietzfelbinger
    Pages 457-466
  27. Alok Aggarwal, Jeffrey Scott Vitter
    Pages 467-478
  28. K. Mehlhorn, S. Näher, H. Alt
    Pages 479-488
  29. Athanasios K. Tsakalidis
    Pages 489-498
  30. Hans-Jörg Kreowski
    Pages 521-530
  31. Oscar H. Ibarra, Tao Jiang
    Pages 550-562
  32. Leslie G. Valiant
    Pages 563-563

About these proceedings

Introduction

This volume contains the proceedings of the 14th International Colloquium on Automata Languages and Programming, organized by the European Association for Theoretical Computer Science (EATCS) and held in Karlsruhe, July 13-17, 1987. The papers report on original research in theoretical computer science and cover topics such as algorithms and data structures, automata and formal languages, computability and complexity theory, semantics of programming languages, program specification, transformation and verification, theory of data bases, 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. The authors are young scientists and leading experts in these areas.

Keywords

Bisimulation Monoid automata complexity complexity theory computer data structure distributed computing formal language image analysis programming programming language robot robotics semantics

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-18088-5
  • Copyright Information Springer-Verlag Berlin Heidelberg 1987
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-18088-3
  • Online ISBN 978-3-540-47747-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site