Metalogical Frameworks II: Developing a Reflected Decision Procedure
Journal of Automated Reasoning
A foundation for embedded languages
ACM Transactions on Programming Languages and Systems (TOPLAS)
Compiling Embedded Programs to Byte Code
PADL '02 Proceedings of the 4th International Symposium on Practical Aspects of Declarative Languages
Fast Tactic-Based Theorem Proving
TPHOLs '00 Proceedings of the 13th International Conference on Theorem Proving in Higher Order Logics
Quotient Types: A Modular Approach
TPHOLs '02 Proceedings of the 15th International Conference on Theorem Proving in Higher Order Logics
Fault-Tolerant Distributed Theorem Proving
CADE-16 Proceedings of the 16th International Conference on Automated Deduction: Automated Deduction
A computational approach to reflective meta-reasoning about languages with bindings
Proceedings of the 3rd ACM SIGPLAN workshop on Mechanized reasoning about languages with variable binding
RTA'03 Proceedings of the 14th international conference on Rewriting techniques and applications
| Hi-index | 0.00 |