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
  
• Jon Doyle:
  Reasoned Assumptions and Rational Psychology. 35-73
  
• Andrzej Ehrenfeucht, Grzegorz Rozenberg:
  Square Systems. 75-111
  
• Melvin Fitting:
  Kleene's Three Valued Logics and Their Children. 113-131
  
• Tero Harju, Grzegorz Rozenberg:
  Reductions for Primitive 2-Structures. 133-144
  
• Jack Minker, Carolina Ruiz:
  Semantics for Disjunctive Logic Programs with Explicit and Default Negation. 145-192
  
• Ugo Montanari, Daniel Yankelevich:
  Combining CCS and Petri Nets Via Structural Axioms. 193-229
  
• Boris A. Trakhtenbrot:
  Compositional Proofs for Networks of Processes. 231-275
  

Volume 20, Number 4, June 1994

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

Last update Tue Feb 14 04:18:00 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page