Mathematical Foundations of Computer Science 1981 : 10th Symposium Strbske Pleso, Czechoslovakia, August 31- September 4, 1981. Proceedings. 1st ed. 1981

種類:

電子ブック

責任表示:

edited by J. Gruska, M. Chytil

出版情報:

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1981

著者名:

• Gruska, J.
• Chytil, M.
• SpringerLink (Online service)

シリーズ名:

Lecture Notes in Computer Science ; 118

ISBN:

9783540387695 [3540387692]    

注記:

The complexity of manipulating hierarchically defined sets of rectangles -- The transformational machine: Theme and variations -- Probabilistic two-way machines -- A survey of some recent results on computational complexity in weak theories of arithmetic -- A survey on oracle techniques -- Time and space bounded complexity classes and bandwidth constrained problems -- Representations of graphs by means of products and their complexity -- Parsing strategies: A concise survey -- The art of dynamizing -- Fast parallel computation of polynomials using few processors -- Generalizations of Petri nets -- Partial match retrieval in implicit data structures -- A characterization of Floyd-provable programs -- Semantics of CSP via translation into CCS -- More about the "geography" of context-free languages -- On the power of algebraic specifications -- An application of the theory of free partially commutative monoids: Asymptotic densities of trace languages -- On the complexity of word problems in certain Thue systems

ローカル注記:

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