Unification Modulo Synchronous Distributivity

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

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

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

decidability; equational unification; intercell Turing machine

Mathematics Subject Classification ID

03B25: Decidability of theories and sets of sentences

03B35: Mechanization of proofs and logical operations

68Q42: Grammars and rewriting systems

03D10: Turing machines and related notions

03D03: Thue and Post systems, etc.