Unification modulo synchronous distributivity

DOI10.1007/978-3-642-31365-3_4zbMATH Open1358.03026OpenAlexW1807513822WikidataQ118190403 ScholiaQ118190403MaRDI QIDQ2908474FDOQ2908474

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

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.

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)

Cited In (4)

• Constructive Many-one Reduction from the Halting Problem to Semi-unification (Extended Version)
• Unification problems with one-sided distributivity
• Unification Modulo Chaining
• Title not available (Why is that?)

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)