13. MFCS 1988: Carlsbad, Czechoslovakia Michal Chytil , Ladislav Janiga , Václav Koubek (Eds.):
Mathematical Foundations of Computer Science 1988, MFCS'88, Carlsbad, Czechoslovakia, August 29 - September 2, 1988, Proceedings.
Lecture Notes in Computer Science 324 Springer 1988, ISBN 3-540-50110-X Invited Lectures
export record as
dblp key:
Ronald V. Book :
Sparse Sets, Tally Sets, and Polynomial Reducibilities.
1-13
export record as
dblp key:
Corrado Böhm :
Functional Programming and Combinatory Algebras.
14-26
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Lane A. Hemachandra :
Structure of Complexity Classes: Separations, Collapses, and Completeness.
59-72
export record as
dblp key:
Efim B. Kinber :
Inductive Syntactical Synthesis of Programs from Sample Computations.
73-84
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Imre Simon :
Recognizable Sets with Multiplicities in the Tropical Semiring.
107-120
export record as
dblp key:
export record as
dblp key:
Communications
export record as
dblp key:
Farid M. Ablayev :
Probabilistic Automata Complexity of Languages Depends on Language Structure and Error Probability.
154-161
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Ryszard Danecki :
Multiple Propositional Dynamic Logic of Parallel Programs (Extended Abstract).
240-248
export record as
dblp key:
export record as
dblp key:
Max Dauchet :
Termination of Rewriting is Undecidable in the One-Rule Case.
262-270
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Michael A. Frumkin :
A Fast Parallel Algorithm for Eigenvalue Problem of Jacobi Matrices.
291-299
export record as
dblp key:
export record as
dblp key:
Viliam Geffert :
Context-Free-Like Forms for the Phrase-Structure Grammars.
309-317
export record as
dblp key:
Andreas Goerdt :
On the Expressive Strength of the Finitely Typed Lambda-Terms.
318-328
export record as
dblp key:
Andreas Goerdt :
Hoare Calculi for Higher-Type Control Structures and Their Completeness in the Sense of Cook.
329-338
export record as
dblp key:
Ursula Goltz :
On Representing CCS Programs by Finite Petri Nets.
339-350
export record as
dblp key:
export record as
dblp key:
Juraj Hromkovic ,
Juraj Procházka :
Branching Programs as a Tool for Proving Lower Bounds on VLSI Computations and Optimal Algorithms for Systolic Arrays.
360-370
export record as
dblp key:
Stasys Jukna :
Two Lower Bounds for Circuits over the Basis (&, V, -).
371-380
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Satoru Miyano :
Delta2 p -Complete Lexicographically First Maximal Subgraph Problems.
454-462
export record as
dblp key:
Ewa Orlowska :
Proof System for Weakest Prespecification and its Applications.
463-471
export record as
dblp key:
export record as
dblp key:
Qi Lu ,
Jiahua Qian :
Design, Proof and Analysis of New Efficient Algorithms for Incremental Attribute Evaluation.
483-491
export record as
dblp key:
Peter Ruzicka :
On Efficiency of Interval Routing Algorithms.
492-500
export record as
dblp key:
export record as
dblp key:
Petr Savický :
Random Boolean Formulas Representing any Boolean Function with Asymptotically Equal Probability (Extended Abstract).
512-517
export record as
dblp key:
Anna Slobodová :
On the Power of Communication in Alternating Machines.
518-528
export record as
dblp key:
Ewald Speckenmeyer :
Classes of CNF-Formulas with Backtracking Trees of Exponential or Linear Average Order for Exact-Satisfiability.
529-538
export record as
dblp key:
export record as
dblp key:
Walter Vogler :
Failures Semantics and Deadlocking of Modular Petri Nets.
542-551
export record as
dblp key:
Andreas Weber :
A Decomposition Theorem for Finite-Valued Tranducers and an Application to the Equivalence Problem.
552-562
data released under the ODC-BY 1.0 license
