What You Always Wanted to Know about Rigid E-Unification
Journal of Automated Reasoning
A Model Generation Style Completeness Proof for Constraint Tableaux with Superposition
TABLEAUX '02 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Incremental Closure of Free Variable Tableaux
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Type checking with open type functions
Proceedings of the 13th ACM SIGPLAN international conference on Functional programming
Outsidein(x) modular type inference with local assumptions
Journal of Functional Programming - Dedicated to ICFP 2009
Hi-index | 0.00 |