Fundamenta Informaticae, Volume 20

Volume 20, Number 1/2/3, March, April, May 1994

• J. W. de Bakker, Erik P. de Vink: Bisimulation Semantics for Concurrency with Atomicity and Action Refinement. 3-34 BibTeX
• Jon Doyle: Reasoned Assumptions and Rational Psychology. 35-73 BibTeX
• Andrzej Ehrenfeucht, Grzegorz Rozenberg: Square Systems. 75-111 BibTeX
• Melvin Fitting: Kleene's Three Valued Logics and Their Children. 113-131 BibTeX
• Tero Harju, Grzegorz Rozenberg: Reductions for Primitive 2-Structures. 133-144 BibTeX
• Jack Minker, Carolina Ruiz: Semantics for Disjunctive Logic Programs with Explicit and Default Negation. 145-192 BibTeX
• Ugo Montanari, Daniel Yankelevich: Combining CCS and Petri Nets Via Structural Axioms. 193-229 BibTeX
• Boris A. Trakhtenbrot: Compositional Proofs for Networks of Processes. 231-275 BibTeX

Volume 20, Number 4, June 1994

• Lidia Tendera: A Note on Asymptotic Probabilities of Existential Second-Order Minimal Classes - the Last Step. 277-285 BibTeX
• Thomas Noll, Heiko Vogler: Top-down Parsing with Simultaneous Evaluation of Noncircular Attribute Grammars. 285-332 BibTeX
• Cosimo Laneve: Distributive Evaluations of lambda-calculus. 333-352 BibTeX
• Matthias Baaz, Alexander Leitsch: On Skolemization and Proof Complexity. 353-379 BibTeX
• Kostas Skandalis: On the Characterization of Input Sets as Output Sets. 381-392 BibTeX