Semantic Generalizations for Proving and Disproving Conjectures by Analogy
Journal of Automated Reasoning
Deterministic second-order patterns
Information Processing Letters
Program transformation by templates based on term rewriting
PPDP '05 Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming
Tractable and intractable second-order matching problems
COCOON'99 Proceedings of the 5th annual international conference on Computing and combinatorics
| Hi-index | 0.00 |