scientific article; zbMATH DE number 4060703

MaRDI QIDQ3795209zbMATH OpenFDO

Authors Philippe le Chenadec

Publication date 1988

zbMATH Keywords

cyclic equationsdeterministic algorithmhigher- order unificationpositive occur-checks

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Recommendations

• Correctness of unification without occur check in prolog
• scientific article; zbMATH DE number 3978439
• Average-case analysis of unification algorithms
• scientific article; zbMATH DE number 4060709
• scientific article; zbMATH DE number 176505

Cited in

(2)

• scientific article; zbMATH DE number 1348461 (Why is no real title available?)
• Correctness of unification without occur check in prolog

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3795209)