Sciweavers

65
Voted
ICLP
2010
Springer

Focused Proof Search for Linear Logic in the Calculus of Structures

15 years 21 days ago
Focused Proof Search for Linear Logic in the Calculus of Structures
The proof-theoretic approach to logic programming has benefited from the
Nicolas Guenot
Added 15 Aug 2010
Updated 15 Aug 2010
Type Conference
Year 2010
Where ICLP
Authors Nicolas Guenot
Comments (0)