Mathematical Foundations of Computer Science 1989 : Porabka-Kozubnik, Poland, August 28 - September 1, 1989. Proceedings. 1st ed. 1989

種類:

電子ブック

責任表示:

edited by Antoni Kreczmar, Grazyna Mirkowska

出版情報:

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1989

著者名:

• Kreczmar, Antoni.
• Mirkowska, Grazyna.
• SpringerLink (Online service)

シリーズ名:

Lecture Notes in Computer Science ; 379

ISBN:

9783540481768 [3540481761]    

注記:

From specification languages to specification knowledge bases: The PTO approach -- Monadic second-order logic and context-free graph-grammars -- A thesis for bounded concurrency -- Space bounded computations : Review and new separation results -- Concurrent nondeterministic processes: Adequacy of structure and behaviour -- LEDA a library of efficient data types and algorithms -- Correctness of concurrent processes -- Understanding nets -- On the strength of temporal proofs -- Proof-theoretic characterisations of logic programming -- Algebraically closed theories -- Control flow versus logic: A denotational and a declarative model for Guarded Horn Clauses -- Ehrenfeucht Test Set Theorem and Hilbert Basis Theorem: A constructive glimpse -- Parallel complexity of lexicographically first problems for tree-structured graphs -- On the power of synchronization in parallel computations -- Optimal parallel algorithms for the recognition and colouring outerplanar graphs -- Logical characterizations of nonmonotonic TMSs
The present volume contains papers selected for presentation at the 14th Symposium on Mathematical Foundations of Computer Science - MFCS '89 held in Porabka-Kozubnik, Poland, from August 28 to September 1, 1989. Previous MFCs proceedings have also been published in the Lecture Notes in Computer Science. This volume presents investigations and results in theoretical computer science, in particular in the following areas: logics of programs, parallel and distributed computing, deductive databases, automata and formal languages, algorithms and data structures, software specification and validity, complexity and computability theory.

ローカル注記:

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