Formal synthesis of a unification algorithm by the deductive-tableau method

DOI10.1016/0743-1066(89)90008-3zbMath0678.68097OpenAlexW2030479129MaRDI QIDQ3835052

Daniele Nardi

Publication date: 1989

Published in: The Journal of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0743-1066(89)90008-3

zbMATH Keywords

program synthesisunification algorithmdeductive-tableau method

Mathematics Subject Classification ID

This page was built for publication: Formal synthesis of a unification algorithm by the deductive-tableau method