Unification Modulo Synchronous Distributivity

DOI10.1007/978-3-642-31365-3_4zbMath1358.03026OpenAlexW1807513822WikidataQ118190403 ScholiaQ118190403MaRDI QIDQ2908474

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

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) Grammars and rewriting systems (68Q42) Turing machines and related notions (03D10) Thue and Post systems, etc. (03D03)

Related Items (1)

Constructive Many-one Reduction from the Halting Problem to Semi-unification (Extended Version)

This page was built for publication: Unification Modulo Synchronous Distributivity