Volume 6: January - December 1996

Issue 4: August 1996

Table of Contents


  • Resultant semantics for prolog
  • M. Gabrielli

    Pages: 491 - 521


  • Buy one, get one free!!!
  • O. Kupferman and O. Grumberg

    Pages: 523 - 239


  • Inclusions and subtypes II: higher-order case
  • N. Marti-Oliet and J. Meseguer

    Pages: 541 - 572


  • An interactive solution to the n x n mutilated checkerboard problem
  • S. Subramanian

    Pages: 573 - 598


  • Some completeness results for stoppered and ranked classical preferential models
  • K. Schlechta

    Pages: 599 - 622


    Part of the OUP Journal of Logic and Computation WWW service


    General Information

    Click here to register with OUP.

    This page is maintained by OUP admin

    Last updated 09 Sep 96

    Part of the OUP Journals World Wide Web service.


    Copyright Oxford University Press, 1996