scientific article; zbMATH DE number 8800

MaRDI QIDQ3971290zbMATH OpenFDO

Authors Jean Gallier, Wayne Snyder

Publication date 25 June 1992

zbMATH Keywords

\(ET\)-proofsequational matingsmatingsresolutionunification

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Logic programming (68N17) Symbolic computation and algebraic computation (68W30)

Recommendations

• scientific article; zbMATH DE number 65745
• scientific article; zbMATH DE number 475429
• Higher-order unification revisited: Complete sets of transformations

Cited in

(8)

• A proof theory for general unification
• scientific article; zbMATH DE number 1614698 (Why is no real title available?)
• On First-Order Model-Based Reasoning
• scientific article; zbMATH DE number 65745 (Why is no real title available?)
• scientific article; zbMATH DE number 475429 (Why is no real title available?)
• Improving transformation systems for general E-unification
• Linear second-order unification
• A theory of binding structures and applications to rewriting

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 Q3971290)