The Metalanguage lambda-Prolog and Its Implementation
FLOPS '01 Proceedings of the 5th International Symposium on Functional and Logic Programming
ACM Transactions on Programming Languages and Systems (TOPLAS)
Proof-theoretic and higher-order extensions of logic programming
A 25-year perspective on logic programming
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
Towards structured contexts and modules
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
| Hi-index | 0.00 |