Efficient resource management for linear logic proof search

This publication has 5 references indexed in Scilit:

• A multiple-conclusion meta-logic
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Logic Programming in a Fragment of Intuitionistic Linear Logic
  Information and Computation, 1994
• Linear objects: Logical processes with built-in inheritance
  New Generation Computing, 1991
• Uniform proofs as a foundation for logic programming
  Annals of Pure and Applied Logic, 1991
• Linear logic
  Theoretical Computer Science, 1987