Parallel tree pattern matching
Journal of Symbolic Computation
Using types as search keys in function libraries
FPCA '89 Proceedings of the fourth international conference on Functional programming languages and computer architecture
Algebraic programs optimization
ISSAC '91 Proceedings of the 1991 international symposium on Symbolic and algebraic computation
Algorithms, Datastructures, and other Issues in Efficient Automated Deduction
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
On the Evaluation of Indexing Techniques for Theorem Proving
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
| Hi-index | 0.00 |