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 J. 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

last updated on Thu May 23 04:31:02 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page