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.
| ISBN: | 9783540180883 |
| Publication date: | 8th July 1987 |
| Author: | Thomas Ottmann |
| Publisher: | Springer an imprint of Springer Berlin Heidelberg |
| Format: | Paperback |
| Pagination: | 565 pages |
| Series: | Lecture Notes in Computer Science |
| Genres: |
Systems analysis and design Algorithms and data structures Mathematical theory of computation |
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.
Automata, Languages and Programming features in the following genres: Systems analysis and design, Algorithms and data structures, Mathematical theory of computation
Automata, Languages and Programming is available in Paperback
Automata, Languages and Programming was written by Thomas Ottmann and published by Springer an imprint of Springer Berlin Heidelberg
Automata, Languages and Programming has 565 pages
Yes it is part of Lecture Notes in Computer Science series