Automata, Languages and Programming : 22nd International Colloquium, ICALP 95, Szeged, Hungary, July 10 - 14, 1995. Proceedings. 1st ed. 1995

種類:

電子ブック

責任表示:

edited by Zoltan Fülöp, Ferenc Gecseg

出版情報:

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995

著者名:

• Fülöp, Zoltan.
• Gecseg, Ferenc.
• SpringerLink (Online service)

シリーズ名:

Lecture Notes in Computer Science ; 944

ISBN:

9783540494256 [3540494251]    

注記:

Theory of 2-structures -- A domain for concurrent termination a generalization of Mazurkiewicz traces -- Nonfinite axiomatizability of the equational theory of shuffle -- The algebraic equivalent of AFL theory -- Finite state transformations of images -- Post correspondence problem: Words possible as primitive solutions -- Computing the closure of sets of words under partial commutations -- Intervalizing k-colored graphs -- NC algorithms for finding a maximal set of paths with application to compressing strings -- On the construction of classes of suffix trees for square matrices: Algorithms and applications -- How to use the minimal separators of a graph for its chordal triangulation -- Fast gossiping by short messages -- Break Finite Automata Public Key Cryptosystem -- Stochastic graphs have short memory: Fully dynamic connectivity in poly-log expected time -- On the number of random bits in totally private computation -- Lower time bounds for randomized computation -- New collapse consequences of NP having
This volume constitutes the proceedings of the 22nd Interna- tional Colloquium on Automata, Languages, and Programming, held under the sponsorship of EATCS in Szeged, Hungary in July 1995. The volume presents four invited papers and 53 full revised research papers selected from a total of 111 submissions. ICALP traditionally covers the whole area of theoretical computer science; among the topics addressed in the volume are concurrency, automata, formal languages, algorithms, communication protocols, computational complexity, computability, foundations of programming, learning and coding, and semantics.

ローカル注記:

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