- Record: found
- Abstract: not found
- Book Chapter: not found
Foundations of Deductive Databases and Logic Programming
Unification Revisited
edited_book
Read this book at
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Most cited references9
- Record: found
- Abstract: not found
- Article: not found
A Machine-Oriented Logic Based on the Resolution Principle
Philip J A Robinson (1965)
- Record: found
- Abstract: not found
- Conference Proceedings: not found
Constraint logic programming
J Jaffar, J.-L. Lassez (1987)
- Record: found
- Abstract: not found
- Article: not found
An Efficient Unification Algorithm
Alberto Martelli, Ugo Montanari (1982)