Some independence results for equational unification

DOI10.1007/3-540-59200-8_70zbMATH Open1503.68146OpenAlexW2029981683MaRDI QIDQ5055843FDOQ5055843

Authors: Friedrich Otto, Paliath Narendran, Daniel J. Dougherty 

Publication date: 9 December 2022

Published in: Rewriting Techniques and Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-59200-8_70

Recommendations

• Equational unification, word unification, and 2nd-order equational unification
• Some results on equational unification
• Single versus simultaneous equational unification and equational unification for variable-permuting theories
• The undecidability of the unification and matching problem for canonical theories
• scientific article; zbMATH DE number 1222419

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Cites Work

• Title not available (Why is that?)
• THE PROBLEM OF SOLVABILITY OF EQUATIONS IN A FREE SEMIGROUP
• Title not available (Why is that?)
• Makanin's algorithm for word equations-two improvements and a generalization
• Matching - a special case of unification?
• The undecidability of the second-order unification problem
• On two problems related to cancellativity
• Some results on equational unification
• Solvability of word equations modulo finite special and confluent string-rewriting systems is undecidable in general
• Title not available (Why is that?)
• A unification algorithm for second-order monadic terms

Cited In (4)

• Some results on equational unification
• Independence of the equational axioms for iteration theories
• Equational unification, word unification, and 2nd-order equational unification
• Title not available (Why is that?)

This page was built for publication: Some independence results for equational unification

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