Volume 6: January - December 1996

Issue 5: October 1996

Table of Contents


  • Generic models of logic programs
  • R. Sigal

    Pages: 629 - 661


  • Pruning simply typed [lambda]-terms
  • S. Berardi

    Pages: 663 - 681


  • Novelty in deductive databases
  • E. Gregoire

    Pages: 683 - 708


  • Quantales and structural rules
  • M. Piazza

    Pages: 709 - 724


  • Counting variables in a dynamic setting
  • M. Hollenberg and K. Vermeulen

    Pages: 725 - 744


    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 19 Nov 96

    Part of the OUP Journals World Wide Web service.


    Copyright Oxford University Press, 1996