Automata, Languages and Programming: 15th International Colloquium, Tampere, Finland, July 11-15, 1988. Proceedings (Paperback) (ISBN-13: 9783540194880)

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.

Author: Timo Lepistö
ISBN-10: 3540194886
ISBN-13: 9783540194880
Publisher: Springer
Language: English
Published: 06/22/1988
Pages: 746
Format: Paperback
Weight: 2.30lbs
Size: 9.21h x 6.14w x 1.51d