Compilation of set terms in the logic data language (LDL)
- 31 January 1992
- journal article
- Published by Elsevier in The Journal of Logic Programming
- Vol. 12 (1-2) , 89-119
- https://doi.org/10.1016/0743-1066(92)90040-a
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Unification theoryJournal of Symbolic Computation, 1989
- Opening the AC-unification raceJournal of Automated Reasoning, 1988
- Associative-commutative unificationJournal of Symbolic Computation, 1987
- Improving basic narrowing techniquesPublished by Springer Nature ,1987
- Completion of a Set of Rules Modulo a Set of EquationsSIAM Journal on Computing, 1986
- A Unification Algorithm for Associative-Commutative FunctionsJournal of the ACM, 1981
- Complete Sets of Reductions for Some Equational TheoriesJournal of the ACM, 1981
- Confluent Reductions: Abstract Properties and Applications to Term Rewriting SystemsJournal of the ACM, 1980
- Equivalences among Relational ExpressionsSIAM Journal on Computing, 1979
- A short survey on the state of the art in matching and unification problemsACM SIGSAM Bulletin, 1979