Unification modulo synchronous distributivity

DOI10.1007/978-3-642-31365-3_4MaRDI QIDQ2908474zbMATH OpenOpenAlexWikidataFDO

Authors Siva Anantharaman, Serdar Erbatur, Christopher Lynch, Paliath Narendran, Michaël Rusinowitch

Publication date 5 September 2012

Published in Automated Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-31365-3_4

zbMATH Keywords

decidabilityequational unificationintercell Turing machine

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35) Thue and Post systems, etc. (03D03) Turing machines and related notions (03D10) Grammars and rewriting systems (68Q42)

Recommendations

• scientific article; zbMATH DE number 3921959
• Unification problems with one-sided distributivity
• Decidability of unification in the theory of one-sided distributivity and a multiplicative unit
• Unification modulo ACUI plus distributivity axioms
• Unification modulo ACUI plus homomorphisms/distributivity.

Cited in

(5)

• Unification problems with one-sided distributivity
• Unification Modulo Chaining
• scientific article; zbMATH DE number 3921959 (Why is no real title available?)
• Constructive Many-one Reduction from the Halting Problem to Semi-unification (Extended Version)
• Undecidability of semi-unification on a napkin

This page was built for publication: Unification modulo synchronous distributivity

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