This volume presents the proceedings of the 19th
International Colloquium onAutomata, Languages, and
Programming (ICALP 92) in a series of meetings sponsored by
the European Association for Theoretical Computer Science
(EATCS).
ICALP is a broadly based conference covering all aspects of
theoretical computer science, including such topics as
computability, automata, formal languages, term rewriting,
analysis of algorithms, computational geometry,
computational complexity, symbolic and algebraic
computation, cryptography, data types and data structures,
theory of databases and knowledge bases, semantics of
programming languages, program specification, transformation
and verification, foundations of logic programming, theory
of logical design andlayout, parallel and distributed
computation, theory of concurrency, and theory of robotics.
The papers in the volume are grouped into thematic parts
corresponding to their order of presentation at ICALP 92.