Automata, Languages and Programming : 15th International Colloquium, Tampere, Finland, July 11-15, 1988. Proceedings. 1st ed. 1988

種類:

電子ブック

責任表示:

edited by Timo Lepistö, Arto Salomaa

出版情報:

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1988

著者名:

• Lepistö, Timo.
• Salomaa, Arto.
• SpringerLink (Online service)

シリーズ名:

Lecture Notes in Computer Science ; 317

ISBN:

9783540392910 [3540392912]    

注記:

Communication complexity of PRAMs -- Average case complexity analysis of the RETE multi-pattern match algorithm -- Problems easy for tree-decomposable graphs extended abstract -- Serializability in distributed systems with handshaking -- Algorithms for planar geometric models -- Nonuniform learnability -- Zeta functions of recognizable languages -- Dynamic programming on graphs with bounded treewidth -- Efficient simulations of simple models of parallel computation by time-bounded ATM's and space-bounded TM's -- Optimal slope selection -- Approximation of a trace, asynchronous automata and the ordering of events in a distributed system -- New techniques for proving the decidability of equivalence problems -- Transitive orientations, möbius functions, and complete semi-thue systems for free partially commutative monoids -- The complexity of matrix transposition on one-tape off-line turing machines with output tape -- Geometric structures in computational geometry -- Arrangements of curves in the plane — topolo
This volume contains the proceedings of ICALP 88, held at Tampere University of Technology, Finland, July 11-15, 1988. ICALP 88 is the 15th International Colloquium on Automata, Languages and Programming in a series of meetings sponsored by the European Association for Theoretical Computer Science (EATCS). It is a broadly based conference covering all aspects of theoretical computer science including topics such as computability, automata, formal languages, analysis of algorithms, computational complexity, data types and data structures, theory of data bases and knowledge bases, semantics of programming languages, program specification, transformation and verification, foundations of logic programming, theory of logical design and layout, parallel and distributed computation, theory of concurrency, symbolic and algebraic computation, term rewriting systems, cryptography, and theory of robotics.

ローカル注記:

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