This volume contains the proceedings of ICALP '91, the 18th annual summer conference sponsored by the European Association for Theoretical Computer Science (EATCS). ICALP stands for International Colloquium on Automata, Languages, and Programming, and this conference series covers all important areas of theoretical computer science, such as: computability, automata, formal languages, data types and structures, theory of databases and knowledge bases, semantics of programming languages, program specification, transformation and verification, foundations of logic and functional programming, theory of logical design and layout, parallel and distributed computation, theory of concurrency, symbolic and algebraic computation, term rewriting systems, computational geometry, cryptography, and theory of robotics.

Bibliographic Information

Book Title: Automata, Languages and Programming
Book Subtitle: 18th International Colloquium, Madrid, Spain, July 8-12, 1991. Proceedings
Editors: Javier Leach Albert, Burkhard Monien, Mario Rodríguez Artalejo
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/3-540-54233-7
Publisher: Springer Berlin, Heidelberg
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 1991
Softcover ISBN: 978-3-540-54233-9Published: 20 June 1991
eBook ISBN: 978-3-540-47516-3Published: 06 July 2005
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XII, 768
Topics: Theory of Computation, Mathematical Logic and Formal Languages, Data Structures, Combinatorics, Algorithm Analysis and Problem Complexity, Artificial Intelligence

Publish with us

Policies and ethics

Automata, Languages and Programming

Overview

Access this book

Other ways to access

Table of contents (60 papers)

Front Matter

Keywords

About this book

Bibliographic Information

Publish with us

Search

Navigation