Journal of Automated Reasoning
A New Implementation of Automath
Journal of Automated Reasoning
Proving Syntactic Properties of Exceptions in an Ordered Logical Framework
FLOPS '01 Proceedings of the 5th International Symposium on Functional and Logic Programming
Abstract Syntax for Variable Binders: An Overview
CL '00 Proceedings of the First International Conference on Computational Logic
System Description: Twelf - A Meta-Logical Framework for Deductive Systems
CADE-16 Proceedings of the 16th International Conference on Automated Deduction: Automated Deduction
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Information and Computation
Handbook of automated reasoning
Automatic useless-code elimination for HOT functional programs
Journal of Functional Programming
Hi-index | 0.00 |