A general framework for R-unification problems

DOI10.1007/BFB0056619MaRDI QIDQ4217942zbMATH OpenFDO

Authors Sébastien Limet, Frédéric Saubion

Publication date 11 November 1998

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BFB0056619

zbMATH Keywords

\(E\)-unification

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• A proof theory for general unification
• A refined version of general \(E\)-unification
• Unification problem in equational theories
• Unification, weak unification, upper bound, lower bound, and generalization problems
• General A- and AX-unification via optimized combination procedures
• scientific article; zbMATH DE number 4180772
• Model-theoretic aspects of unification
• A completion-based method for mixed universal and rigid \(E\)-unification
• Unification in a combination of arbitrary disjoint equational theories
• scientific article; zbMATH DE number 4080961

Cited in

(5)

• The solution equivalence to general models for the RIM quantifier problem
• A strict border for the decidability of E-unification for recursive functions
• scientific article; zbMATH DE number 1375572 (Why is no real title available?)
• scientific article; zbMATH DE number 1332642 (Why is no real title available?)
• Some independence results for equational unification

This page was built for publication: A general framework for \(R\)-unification problems

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