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 archives
Active forum topics |
Recent comments
18 weeks 4 days ago
18 weeks 4 days ago
18 weeks 4 days ago
40 weeks 5 days ago
45 weeks 12 hours ago
46 weeks 4 days ago
46 weeks 4 days ago
49 weeks 2 days ago
1 year 1 week ago
1 year 1 week ago