User loginNavigation |
A Tutorial on Proof Theoretic Foundations of Logic Programming
A Tutorial on Proof Theoretic Foundations of Logic Programming. Paola Bruscoli and Alessio Guglielmi. ICLP'03.
I just glanced through this tutorial, but since I know quite a few LtU readers are into proof theory, I thought I'd share the link. |
Browse archivesActive forum topicsNew forum topics
|
Recent comments
1 day 5 hours ago
1 day 7 hours ago
1 day 18 hours ago
1 day 18 hours ago
2 days 6 hours ago
2 days 20 hours ago
2 weeks 5 days ago
2 weeks 5 days ago
3 weeks 5 days ago
3 weeks 6 days ago