On unification: Equational theories are not bounded
Journal of Symbolic Computation
The PSG system: from formal language definitions to interactive programming environments
ACM Transactions on Programming Languages and Systems (TOPLAS)
Unification in combinations of collapse-free regular theories
Journal of Symbolic Computation
Unification problems with one-sided distributivity
Journal of Symbolic Computation
Embedding boolean expressions into logic programming
Journal of Symbolic Computation
Journal of the ACM (JACM)
Unification: a multidisciplinary survey
ACM Computing Surveys (CSUR)
Enumerating outer narrowing derivationsfor constructor-based term rewriting systems
Journal of Symbolic Computation
Inheritance hierarchies: Semantics and unification
Journal of Symbolic Computation
On equational theories, unification, and (Un)decidability
Journal of Symbolic Computation
Adventures in associative-commutative unification
Journal of Symbolic Computation
Matching - A special case of unification?
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
Z-module reasoning: an equality-oriented proving method with built-in ring axioms
Journal of the ACM (JACM)
A theory of using history for equational systems with applications
Journal of the ACM (JACM)
Constraints in computational logics
Unification in many-sorted algebras as a device for incremental semantic analysis
POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Journal of Automated Reasoning
IEEE Transactions on Knowledge and Data Engineering
A Strong Complete Schmema for Inductive Functional Logic Programming
ILP '99 Proceedings of the 9th International Workshop on Inductive Logic Programming
Schema recognition for program transformations
LFP '84 Proceedings of the 1984 ACM Symposium on LISP and functional programming
SLIPE '85 Proceedings of the ACM SIGPLAN 85 symposium on Language issues in programming environments
EACL '89 Proceedings of the fourth conference on European chapter of the Association for Computational Linguistics
Unification Categorial Grammar: a concise, extendable grammar for natural language processing
COLING '88 Proceedings of the 12th conference on Computational linguistics - Volume 1
Theory and Practice of Logic Programming
Matrix proof methods for modal logics
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 2
Hi-index | 0.00 |