scientific article; zbMATH DE number 4016225

MaRDI QIDQ3028368zbMATH OpenFDO

Authors R. Sommerhalder

Publication date 1987

zbMATH Keywords

complexity of unificationequational theorylogic programmingunification algorithms

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02)

Recommendations

• scientific article; zbMATH DE number 4053011
• Unification: a multidisciplinary survey
• Unification: not just a thing of beauty
• scientific article; zbMATH DE number 2232298
• Generalizations of unification
• Introduction to the special issue: Unification
• A model of comprehensive unification
• scientific article; zbMATH DE number 3871321
• scientific article; zbMATH DE number 3936507
• scientific article; zbMATH DE number 4155934

Cited in

(25)

• The transition to unigroups
• Relaxed unification -- proposal
• Essential unifiers
• Source-tracking unification
• Syntactic unification as a geometric operation in free modules over certain rings
• On the complexity of Boolean unification
• A strict border for the decidability of E-unification for recursive functions
• Complexity of linear standard theories
• scientific article; zbMATH DE number 3871321 (Why is no real title available?)
• scientific article; zbMATH DE number 3936507 (Why is no real title available?)
• scientific article; zbMATH DE number 3957052 (Why is no real title available?)
• scientific article; zbMATH DE number 4043301 (Why is no real title available?)
• scientific article; zbMATH DE number 4047179 (Why is no real title available?)
• scientific article; zbMATH DE number 176128 (Why is no real title available?)
• scientific article; zbMATH DE number 1267560 (Why is no real title available?)
• scientific article; zbMATH DE number 2090055 (Why is no real title available?)
• Uniting Observers
• Uninorm Basics
• scientific article; zbMATH DE number 2232298 (Why is no real title available?)
• Schematic saturation for decision and unification problems.
• Source-tracking unification.
• Unification theory
• Some results on equational unification
• Exceptional unification of families and forces
• Unification in commutative rings is not finitary

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