Automata, Languages and Programming
19th International Colloquium, Wien, Austria, July 13-17, 1992. Proceedings
Buch in deiner Nähe kaufen
Beschreibung
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.
Autor*in
Werner Kuich
Themen in »Automata, Languages and Programming«
Automat Graph Symbol algorithms automata complexity computability concurrency formal language linear optimization logic programming language theoretical computer science verification algorithm analysis and problem complexity