Volume 6: January - December 1996

Issue 1: 1996

Table of Contents


  • Note on a lemma of Ladkin
  • A. Galton

    Pages: 3 - 6


  • A formal definition for the expressive power to terminological knowledge representation languages
  • F. Baader

    Pages: 35 - 56


  • Partial applicative theories and explicit substitutions
  • T. Strahm

    Pages: 57 - 79


  • Simultaneous replacement in normal programs
  • A. Bossi and S. Etalle

    Pages: 81 - 122


  • Modal logic and equality for process algebra
  • WPR. Mitchell

    Pages: 123 - 138


  • On the very weak 0-1 law for random graphs with orders
  • S. Shelah

    Pages: 139 - 161


    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 29 Mar 96

    Part of the OUP Journals World Wide Web service.


    Copyright Oxford University Press, 1996