Unification: a multidisciplinary survey
ACM Computing Surveys (CSUR)
Communications of the ACM
Journal of the ACM (JACM)
On the Hardness of Learning Acyclic Conjunctive Queries
ALT '00 Proceedings of the 11th International Conference on Algorithmic Learning Theory
Complexity of the higher order matching
CADE-16 Proceedings of the 16th International Conference on Automated Deduction: Automated Deduction
Higher-order unification and matching
Handbook of automated reasoning
Deterministic second-order patterns
Information Processing Letters
Prediction-hardness of acyclic conjunctive queries
Theoretical Computer Science - Algorithmic learning theory (ALT 2000)
An Account of Implementing Applicative Term Rewriting
Electronic Notes in Theoretical Computer Science (ENTCS)
Tractable and intractable second-order matching problems
COCOON'99 Proceedings of the 5th annual international conference on Computing and combinatorics
On generalization and subsumption for ordered clauses
JSAI'05 Proceedings of the 2005 international conference on New Frontiers in Artificial Intelligence
| Hi-index | 0.03 |