Volume 6: January - December 1996

Issue 6: December 1996

Table of Contents


  • Logic programming with signs and annotations
  • JJ. Lu

    Pages: 755 - 778


  • On winning strategies with unary quantifiers
  • J. Nurmonen

    Pages: 779 - 798


  • Strong normalization of substitutions
  • P-L. Curien

    Pages: 799 - 817


  • A-ordered tableaux
  • R. Hahnle and S. Klingenbeck

    Pages: 819 - 833


  • Adding metatheoretic facilities to first-order theories
  • D. Basin and S. Matthews

    Pages: 835 - 849


    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 08 Jan 97

    Part of the OUP Journals World Wide Web service.


    Copyright Oxford University Press, 1997