default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTheoretical Computer Science, Volume 124
Volume 124, Number 1, 14 February 1994
- Mila E. Majster-Cederbaum, Frank Zetzsche:
The Comparison of a CPO-based Semantics with a CMS-based semantics for CSP. 1-40 - Béatrice Bérard:
Global Serializability of Concurrent Programs. 41-70 - Susumu Yamasaki
:
A Denotational Semantics and Dataflow Construction for Logic Programs. 71-91 - Michael Codish, Dennis Dams, Eyal Yardeni:
Bottom-up Abstract Interpretation of Logic Programs. 93-125 - Satish R. Thatte:
Type Inference with Partial Types. 127-148 - Jan A. Bergstra, Jan Heering:
Which Data Types have omega-complete Initial Algebra Specifications? 149-168 - Ursula Goltz, Arend Rensink:
Finite Petri Nets as Models for Recursive Causal Behaviour. 169-179 - Kees Doets:
Left Termination Turned into Termination. 180-187 - Michael Barr:
Additions and Corrections to "Terminal Coalgebras in Well-founded Set Theory". 189-192
Volume 124, Number 2, 28 February 1994
- Andrew M. Pitts:
A co-Induction Principle for Recursively Defined Domains. 195-219 - Malika More:
Investigation of Binary Spectra by Explicit Polynomial Transformations of Graphs. 221-272 - Wim H. Hesselink:
Nondeterminacy and Recursion via Stacks and Games. 273-295 - Annalisa Bossi, Nicoletta Cocco, Massimo Fabris:
Norms on Terms and their use in Proving Universal Termination of a Logic Program. 297-328 - Jung-Heum Park, Kyung-Yong Chwa:
On the Construction of Regular Minimal Broadcast Digraphs. 329-342 - Jean-Jacques Hébrard:
A Linear Algorithm for Renaming a Set of Clauses as a Horn Set. 343-350
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-11-25 22:44 CET 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:
