A Tutorial on Proof Theoretic Foundations of Logic Programming (2003)

by Paola Bruscoli , Alessio Guglielmi , Technische Universität Dresden
Citations:1 - 0 self