Automata, Languages and Programming : 19th International Colloquium, Wien, Austria, July 13-17, 1992. Proceedings. 1st ed. 1992

種類:

電子ブック

責任表示:

edited by Werner Kuich

出版情報:

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992

著者名:

• Kuich, Werner.
• SpringerLink (Online service)

シリーズ名:

Lecture Notes in Computer Science ; 623

ISBN:

9783540472780 [3540472789]    

注記:

Philosophical issues in Kolmogorov complexity -- Circuit complexity and the expressive power of generalized first-order formulas -- One-message statistical Zero-Knowledge Proofs and space-bounded verifier -- Abelian squares are avoidable on 4 letters -- Polynomial size test sets for context-free languages -- Quasi-deterministic 0L systems -- On growing context-sensitive languages -- Numeration systems, linear recurrences, and regular sets -- The equality problem for rational series with multiplicities in the tropical semiring is undecidable -- Semi-commutations and rational expressions -- New results concerning synchronized finite automata -- A Greibach normal form for context-free graph grammars -- On reverse and general definite tree languages -- Reductions to sets of low information content -- UP and the low and high hierarchies: A relativized separation -- Analytic analysis of algorithms -- How to count quickly and accurately: A unified analysis of probabilistic counting and other related problems -- The
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.

ローカル注記:

学内専用E-BOOKS (local access only)