Asymmetric unification and disunification
V Ravishankar, KA Gero, P Narendran - arXiv preprint arXiv:1706.05066, 2017 - arxiv.org
We compare two kinds of unification problems: Asymmetric Unification and Disunification,
which are variants of Equational Unification. Asymmetric Unification is a type of Equational …
which are variants of Equational Unification. Asymmetric Unification is a type of Equational …
Asymmetric unification and disunification
V Ravishankar - 2018 - scholarsarchive.library.albany.edu
We compare two kinds of unification problems: asymmetric unification and disunification,
which are variants of equational unification. Asymmetric unification is a type of equational …
which are variants of equational unification. Asymmetric unification is a type of equational …
Asymmetric Unification and Disunification
V Ravishankar, KA Cornell, P Narendran - … Baader on the Occasion of His …, 2019 - Springer
We compare two kinds of unification problems: Asymmetric Unification and Disunification,
which are variants of Equational Unification. Asymmetric Unification is a type of Equational …
which are variants of Equational Unification. Asymmetric Unification is a type of Equational …