Volume 6: January - December 1996

Issue 3: June 1996

Table of Contents


  • Unification of higher-order patterns in linear time and space
  • Z. Qian

    Pages: 315 - 341


  • Verification of temporal properties
  • L. Fix

    Pages: 343 - 361


  • On the declarative and procedural semantics of definite metalogic programs
  • CP. Higgins

    Pages: 363 - 407


  • Inclusions and subtypes I: first-order case
  • N. Marti-Oliet and J. Meseguer

    Pages: 409 - 438


  • A linear logic approach to consistency preserving updates
  • N. Bidoit

    Pages: 439 - 463


  • The dynamic logic of permission
  • R. van der Meyden

    Pages: 465 - 479


  • Review. Categories for types. Roy L. Crole
  • N. Andersen

    Pages: 481 - 482


  • Review. Combinatorics and partially ordered sets. Dimension theory. William T. Trotter
  • G. Behrendt

    Pages: 482 - 484


  • Comparative review. Z - An introduction to formal methods. Antoni Diller. Formal specification using Z. Leonardo Bottaci and John Jones
  • K. Broda

    Pages: 484 - 485


  • Review. Mathematical theory of domains. V. Stoltengerg-Hansen, I. Lindstrom and E. R. Griffor
  • F. Neilson

    Pages: 485 - 487


    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 23 Jul 96

    Part of the OUP Journals World Wide Web service.


    Copyright Oxford University Press, 1996