default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFundamenta 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-09-19 23:33 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
