default search action
Theoretical Computer Science, Volume 206
Volume 206, Numbers 1-2, 6 October 1998
- Dominic Duggan:
Unification with Extended Patterns. 1-50 - Sandro Etalle:
A Semantics for Modular General Logic Programs. 51-80 - Nacéra Bensaou, Irène Guessarian:
Transforming Constraint Logic Programs. 81-125 - Xinxin Liu, David Walker:
Partial Confluence of Proceses and Systems of Objects. 127-162 - Patrick Dehornoy, Abderrahim Marzouk:
Theorem Proving by Chain Resolution. 163-180 - Thomas Eiter, Nicola Leone, Domenico Saccà
:
Expressive Power and Complexity of Partial Models for Disjunctive Deductive Databases. 181-218 - Lutz Priese, Harro Wimmel:
A Uniform Approach to True-Concurrency and Interleaving Semantics for Petri Nets. 219-256 - Susumu Yamasaki
Soudness of Abductive Proof Procedure with Respect to Constraint for Non-Ground Abducibles. 257-281 - Mark Levene, George Loizou:
Axiomatisation of Functional Dependencies in Incomplete Relations. 283-300 - Loïc Colson, Daniel Fredholm:
System T, Call-by-Value and the Minimum Problem. 301-315 - Ralph Loader:
Unary PCF is Decidable. 317-329 - Sachio Hirokawa:
Infiniteness of Proof(alpha) is Polynomial-Space Complete. 331-339 - Leslie Lamport:
Proving Possibility Properties. 341-352 - Guy Perrier:
Corrigendum to Galmiche's and Perrier's "On Proof Normalization in Linear Logic". 353-354
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-12-23 19:19 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: