Unification over distributive exponentiation (sub)theories

DOI10.25596/JALC-2011-109zbMATH Open1345.68190MaRDI QIDQ2819403FDOQ2819403

Authors: Serdar Erbatur, Andrew M. Marshall, Deepak Kapur, Paliath Narendran 

Publication date: 29 September 2016

Published in: Journal of Automata, Languages and Combinatorics (Search for Journal in Brave)

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Mechanization of proofs and logical operations (03B35)

Cited In (4)

• Non-disjoint combined unification and closure by equational paramodulation
• Terminating non-disjoint combined unification
• Unification and matching in hierarchical combinations of syntactic theories
• Satisfiability of general intruder constraints with and without a set constructor

This page was built for publication: Unification over distributive exponentiation (sub)theories

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