By Ming Li, Paul M. B. Vitányi (auth.), W. Kuich (eds.)
This quantity provides the court cases of the nineteenth foreign Colloquium onAutomata, Languages, and Programming (ICALP ninety two) in a sequence of conferences subsidized by means of the ecu organization for Theoretical machine technology (EATCS). ICALP is a generally established convention masking all facets of theoretical machine technology, together with such issues as computability, automata, formal languages, time period rewriting, research of algorithms, computational geometry, computational complexity, symbolic and algebraic computation, cryptography, facts forms and knowledge buildings, concept of databases and information bases, semantics of programming languages, application specification, transformation and verification, foundations of common sense programming, conception of logical layout andlayout, parallel and dispensed computation, concept of concurrency, and idea of robotics. The papers within the quantity are grouped into thematic elements reminiscent of their order of presentation at ICALP 92.