Journal 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 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 update Mon May 20 18:10:54 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page