Unification modulo ACUI plus homomorphisms/distributivity.

DOI10.1007/B11829MaRDI QIDQ5900732zbMATH OpenOpenAlexFDO

Authors Siva Anantharaman, Paliath Narendran, Michaël Rusinowitch

Publication date 20 April 2010

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

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

zbMATH Keywords

\(E\)-unificationcomplexityMinsky machinePost correspondence problemrewrite reachabilityset constraints

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• Unification modulo ACUI plus distributivity axioms
• Extensions of unification modulo ACUI
• Mathematical Foundations of Computer Science 2003
• Solving \(*\)-problems modulo distributivity by a reduction to \(AC1\)- unification
• Unification in abelian semigroups

Cited in

(9)

• Unification problems with one-sided distributivity
• Solving \(*\)-problems modulo distributivity by a reduction to \(AC1\)- unification
• The \(\exists^*\forall^*\) part of the theory of ground term algebra modulo an AC symbol is undecidable.
• Unification modulo ACUI plus distributivity axioms
• Unification modulo synchronous distributivity
• A partial solution for D-unification based on a reduction to AC1-unification
• scientific article; zbMATH DE number 845925 (Why is no real title available?)
• Extensions of unification modulo ACUI
• Mathematical Foundations of Computer Science 2003

This page was built for publication: Unification modulo ACUI plus homomorphisms/distributivity.

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