Fundamentals of Computation Theory : 10th International Conference, FCT '95, Dresden, Germany, August 22 - 25, 1995. Proceedings. 1st ed. 1995

種類:

電子ブック

責任表示:

edited by Horst Reichel

出版情報:

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

著者名:

• Reichel, Horst.
• SpringerLink (Online service)

シリーズ名:

Lecture Notes in Computer Science ; 965

ISBN:

9783540447702 [3540447709]    

注記:

Discrete time process algebra with abstraction -- A duration calculus with infinite intervals -- A delegation-based object calculus with subtyping -- Model-checking for real-time systems -- On polynomial ideals, their complexity, and applications -- From a concurrent ?-calculus to the ?-calculus -- Rewriting regular inequalities -- A simple abstract semantics for equational theories -- Processes with multiple entries and exits -- Efficient rewriting in cograph trace monoids -- Effective category and measure in abstract complexity theory -- About planar cayley graphs -- On condorcet and median points of simple rectilinear polygons -- Fast algorithms for maintaining shortest paths in outerplanar and planar digraphs -- r-Domination problems on homogeneously orderable graphs -- Growing patterns in 1D cellular automata -- Petri nets, commutative context-free grammars, and basic parallel processes -- Implementation of a UU-algorithm for primitive recursive tree functions -- Dummy elimination: Making termination eas
This book presents the proceedings of the 10th International Conference on Fundamentals of Computation Theory, FCT '95, held in Dresden, Germany in August 1995. The volume contains five invited lectures and 32 revised papers carefully selected for presentation at FCT '95. A broad spectrum of theoretical computer science is covered; among topics addressed are algorithms and data structures, automata and formal languages, categories and types, computability and complexity, computational logics, computational geometry, systems specification, learning theory, parallelism and concurrency, rewriting and high-level replacement systems, and semantics.

ローカル注記:

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