Develops new automata-based decision procedures and a solution-generating automaton for asymmetric unification in the ACUNh theory, adapting combination methods and comparing to variant unification.
In: Foundations of Software Science and Computation ( FOSSACS-17), vol- ume 8412 LNCS
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.CC 1years
2019 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
On Asymmetric Unification for the Theory of XOR with a Homomorphism
Develops new automata-based decision procedures and a solution-generating automaton for asymmetric unification in the ACUNh theory, adapting combination methods and comparing to variant unification.