scientific article; zbMATH DE number 3858458

MaRDI QIDQ3326880zbMATH OpenFDO

Authors Elmar Eder

Publication date 1983

zbMATH Keywords

automatic proof procedurecomplete latticefirst order substitutionsweak unification

Mathematics Subject Classification ID

Recommendations

• Properties of substitutions and unifications
• scientific article; zbMATH DE number 3871321
• Essential unifiers
• On the sequential nature of unification
• What is essential unification?

Cited in

(15)

• Automated theorem proving methods
• Verifying the unification algorithm in LCF
• Properties of substitutions and unifications
• Instantiation theory. On the foundations of automated deduction
• A note on unification, subsumption and unification type
• Finite limits and anti-unification in substitution categories
• Lattices of polynomials under substitution
• On determining the causes of nonunifiability
• First-order unification by structural recursion
• Substitution, Complementarity, and Stability
• Determinisation of Relational Substitutions in Ordered Categories with Domain
• scientific article; zbMATH DE number 177828 (Why is no real title available?)
• scientific article; zbMATH DE number 1463151 (Why is no real title available?)
• E-unification based on generalized embedding
• Epsilon-invariant substitutions and indefinite descriptions

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