A framework for defining logics
Journal of the ACM (JACM)
Deriving algorithms from type inference systems: application to strictness analysis
POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
PVS: A Prototype Verification System
CADE-11 Proceedings of the 11th International Conference on Automated Deduction: Automated Deduction
System Description: Twelf - A Meta-Logical Framework for Deductive Systems
CADE-16 Proceedings of the 16th International Conference on Automated Deduction: Automated Deduction
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Electronic Notes in Theoretical Computer Science (ENTCS)
Reducing higher-order theorem proving to a sequence of SAT problems
CADE'11 Proceedings of the 23rd international conference on Automated deduction
Logical approximation for program analysis
Higher-Order and Symbolic Computation
A logical correspondence between natural semantics and abstract machines
Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming
| Hi-index | 0.00 |