Proof-Theoretic Foundation of Compilation in Logic Programming Languages (0)

by Iliano Cervesato
Venue:Proceedings of the Joint International Conference and Symposium on Logic Programming (JICSLP’98
Citations:11 - 1 self