Automatic recognition of tractability in inference relations
Journal of the ACM (JACM)
Theorem proving with ordering and equality constrained clauses
Journal of Symbolic Computation
Information and Computation
Partial online cycle elimination in inclusion constraint graphs
PLDI '98 Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation
Ordered chaining calculi for first-order theories of transitive relations
Journal of the ACM (JACM)
Breaking through the n3barrier: faster object type
Theory and Practice of Object Systems - Special issue on foundations of object-oriented languages
Variations on the Common Subexpression Problem
Journal of the ACM (JACM)
Abstract Congruence Closure and Specializations
CADE-17 Proceedings of the 17th International Conference on Automated Deduction
| Hi-index | 0.00 |