Lecture Notes in Computer Science

Automata, Languages and Programming

14th International Colloquium, Karlsruhe, Federal Republic of Germany, July 13-17, 1987. Proceedings

Editors: Ottmann, Thomas (Ed.)

Buy this book

eBook $109.00
price for USA in USD (gross)
  • ISBN 978-3-540-47747-1
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $149.00
price for USA in USD
  • ISBN 978-3-540-18088-3
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

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.

Table of contents (49 chapters)

  • Probability and plurality for aggregations of learning machines

    Pitt, Leonard (et al.)

    Pages 1-10

  • Logic programming with ions

    Abdallah, M. A. Nait

    Pages 11-20

  • Inverse image analysis

    Dybjer, Peter

    Pages 21-30

  • A unification algorithm for confluent theories

    Hölldobler, Steffen

    Pages 31-41

  • On the Knuth-Bendix completion for concurrent processes

    Diekert, Volker

    Pages 42-53

Buy this book

eBook $109.00
price for USA in USD (gross)
  • ISBN 978-3-540-47747-1
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $149.00
price for USA in USD
  • ISBN 978-3-540-18088-3
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Services for this Book

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Automata, Languages and Programming
Book Subtitle
14th International Colloquium, Karlsruhe, Federal Republic of Germany, July 13-17, 1987. Proceedings
Editors
  • Thomas Ottmann
Series Title
Lecture Notes in Computer Science
Series Volume
267
Copyright
1987
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-47747-1
DOI
10.1007/3-540-18088-5
Softcover ISBN
978-3-540-18088-3
Series ISSN
0302-9743
Edition Number
1
Number of Pages
X, 565
Topics