Unification modulo synchronous distributivity

DOI10.1007/978-3-642-31365-3_4MaRDI QIDQ2908474zbMATHOpenAlexWikidataFDO

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

Grammars and rewriting systems (68Q42) 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)

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

(4)

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

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)