Automata, Languages and Programming

Automata, Languages and Programming

by Thomas Ottmann
     
 

ISBN-10: 0387180885

ISBN-13: 9780387180885

Pub. Date: 08/28/1987

Publisher: Springer-Verlag New York, LLC

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,

…  See more details below

Overview

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.

Product Details

ISBN-13:
9780387180885
Publisher:
Springer-Verlag New York, LLC
Publication date:
08/28/1987
Series:
Lecture Notes in Computer Science
Pages:
565

Table of Contents

Contents: Inductive Inference, Logic and Functional Programming.- Rewrite Systems.- Semantics, Concurrency.- Formal Languages and Automata.- Temporal Logic, Concurrent Systems.- Parallel and Distributed Computing.- Algorithms and Complexity.- Petri Nets, Algebraic Specification.- Complexity.- Author Index.

Customer Reviews

Average Review:

Write a Review

and post it to your social network

     

Most Helpful Customer Reviews

See all customer reviews >