Higher-order equational logic programming
POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Foundational aspects of syntax
ACM Computing Surveys (CSUR)
Theoretical Computer Science - Special issue on theories of types and proofs
Handbook of automated reasoning
Expressing combinatory reduction systems derivations in the rewriting calculus
Higher-Order and Symbolic Computation
Overcoming performance barriers: efficient verification techniques for logical frameworks
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
Hi-index | 0.00 |