Publisher
Open Publishing Association
Reference29 articles.
1. Logic Programming with Focusing Proofs in Linear Logic;Andreoli;J. Log. Comput.,1992
2. Petri Nets and Linear Logic: a Case Study for Logic Programming;Cervesato,1995
3. Efficient resource management for linear logic proof search;Cervesato;Theor. Comput. Sci.,2000
4. A Linear Logical Framework;Cervesato;Information & Computation,2002
5. A Focusing Inverse Method Theorem Prover for First-Order Linear Logic;Chaudhuri,2005
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Resourceful Program Synthesis from Graded Linear Types;Logic-Based Program Synthesis and Transformation;2021
2. Deriving Theorems in Implicational Linear Logic, Declaratively;Electronic Proceedings in Theoretical Computer Science;2020-09-19