default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of Logic and Computation, Volume 6
Volume 6, Number 1, February 1996
- Antony Galton:
Note on a Lemma of Ladkin. 1-4 - Raymond Turner:
Weak Theories of Operations and Types. 5-31 - Franz Baader
:
A Formal Definition for the Expressive Power of Terminological Knowledge Representation Languages. 33-54 - Thomas Strahm:
Partial Applicative Theories and Explicit Substitutions. 55-77 - Annalisa Bossi, Nicoletta Cocco, Sandro Etalle:
Simultaneous Replacement in Normal Programs. 79-120 - William P. R. Mitchell:
Modal Logic and Equality for Process Algebra. 121-136 - Saharon Shelah:
On the Very Weak 0-1 Law for Random Graphs with Orders. 137-159
Volume 6, Number 2, April 1996
- Christian G. Fermüller, Alexander Leitsch:
Hyperresolution and Automated Model Building. 173-203 - Gianni Amati, Luigia Carlucci Aiello, Dov M. Gabbay, Fiora Pirri:
A Proof Theoretical Approach to Default Reasoning I: Tableaux for Default Logic. 205-231 - Gerd Große, Steffen Hölldobler, Josef Schneeberger:
Linear Deductive Planning. 233-262 - Michael Freund, Daniel Lehmann:
On Negation Rationality. 263-269 - Antony Galton:
An Investigation of 'Non-Intermingling' Principles in Temporal Logic. 271-294 - Grigori Schwarz, Miroslaw Truszczynski:
Nonmonotonic Reasoning is Sometimes Simpler! 295-308
Volume 6, Number 3, June 1996
- Zhenyu Qian:
Unification of Higher-Order Patterns in Linear Time and Space. 315-341 - Limor Fix, Orna Grumberg:
Verification of Temporal Properties. 343-361 - Christopher P. Higgins:
On the Declarative and Procedural Semantics of Definite Metalogic Programs. 363-407 - Narciso Martí-Oliet, José Meseguer:
Inclusions and Subtypes I: First-Order Case. 409-438 - Nicole Bidoit, Serenella Cerrito, Christine Froidevaux:
A Linear Logic Approach to Consistency Preserving Updates. 439-463 - Ron van der Meyden:
The Dynamic Logic of Permission. 465-479
Volume 6, Number 4, August 1996
- Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo:
Resultants Semantics for Prolog. 491-521 - Orna Kupferman, Orna Grumberg:
Buy One, Get One Free!!! 523-539 - Narciso Martí-Oliet, José Meseguer:
Inclusions and Subtypes II: Higher-Order Case. 541-572 - Sakthi Subramanian:
An Interactive Solution to the n by n Mutilated Checkerboard Problem. 573-598 - Karl Schlechta:
Some Completeness Results for Stoppered and Ranked Classical Preferential Models. 599-622
Volume 6, Number 5, October 1996
- Ron Sigal:
Generic Models of Logic Programs. 629-661 - Stefano Berardi:
Pruning Simply Typed Lambda-Terms. 663-681 - Éric Grégoire, Pierre Marquis:
Novelty in Deductive Databases. 683-708 - Mario Piazza, Maurizio Castellan:
Quantales and Structural Rules. 709-724 - Marco Hollenberg, Kees Vermeulen:
Counting Variables in a Dynamic Setting. 725-744
Volume 6, Number 6, December 1996
- James J. Lu:
Logic Programming with Signs and Annotations. 755-778 - Juha Nurmonen:
On Winning Strategies with Unary Quantifiers. 779-798 - Pierre-Louis Curien, Thérèse Hardin, Alejandro Ríos:
Strong Normalizations of Substitutions. 799-817 - Reiner Hähnle, Stefan Klingenbeck:
A-Ordered Tableaux. 819-833 - David A. Basin, Seán Matthews:
Adding Metatheoretic Facilities to First-Order Theories. 835-849
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 2025-12-08 09:50 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:
