Mathematical Foundations of Computer Science 1988 : 13th Symposium Carlsbad, Czechoslovakia, August 29 - September 2, 1988. Proceedings. 1st ed. 1988

種類:

電子ブック

責任表示:

edited by Michal P. Chytil, Ladislav Janiga, Vaclav Koubek

出版情報:

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

著者名:

• Chytil, Michal P.
• Janiga, Ladislav.
• Koubek, Vaclav.
• SpringerLink (Online service)

シリーズ名:

Lecture Notes in Computer Science ; 324

ISBN:

9783540459262 [354045926X]    

注記:

Sparse sets, tally sets, and polynomial reducibilities -- Functional programming and combinatory algebras -- On models and algebras for concurrent processes -- String matching with constraints -- Structure of complexity classes: Separations, collapses, and completeness -- Inductive syntactical synthesis of programs from sample computations -- 3-dimensional shortest paths in the presence of polyhedral obstacles -- Robust oracle machines -- Recognizable sets with multiplicities in the tropical semiring -- Reusable specification components -- Comparing interconnection networks -- Probabilistic automata complexity of languages depends on language structure and error probability -- Breadth-first phrase structure grammars and queue automata -- Implementing abstract data structures in hardware -- Distribution of Sequential Processes -- Automata and rational expressions on planar graphs -- On maximal prefix sets of words -- Infinite behaviour of deterministic petri nets -- Testing isomorphism of outerplanar graphs in
This volume contains 11 invited lectures and 42 communications presented at the 13th Conference on Mathematical Foundations of Computer Science, MFCS '88, held at Carlsbad, Czechoslovakia, August 29 - September 2, 1988. Most of the papers present material from the following four fields: - complexity theory, in particular structural complexity, - concurrency and parellelism, - formal language theory, - semantics. Other areas treated in the proceedings include functional programming, inductive syntactical synthesis, unification algorithms, relational databases and incremental attribute evaluation.

ローカル注記:

岐阜大学構成員専用E-BOOKS (Gifu University members only)