Formal synthesis of a unification algorithm by the deductive-tableau method
- 1 July 1989
- journal article
- Published by Elsevier in The Journal of Logic Programming
- Vol. 7 (1) , 1-43
- https://doi.org/10.1016/0743-1066(89)90008-3
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Special relations in automated deductionJournal of the ACM, 1986
- Synthesis of a unification algorithm in a logic programming calculusThe Journal of Logic Programming, 1984
- Completely non-clausal theorem provingArtificial Intelligence, 1982
- Deductive synthesis of the unification algorithmScience of Computer Programming, 1981
- A Deductive Approach to Program SynthesisACM Transactions on Programming Languages and Systems, 1980
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965