Unification over distributive exponentiation (sub)theories

DOI10.25596/JALC-2011-109MaRDI QIDQ2819403zbMATH OpenFDO

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)