3 citations · 11 across the 11 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.LO2017★ 1 cited
On Problems Dual to Unification
Zümrüt Akçam, Daniel S. Hono, Paliath Narendran
In this paper, we investigate a problem dual to the unification problem, namely the Common Term (CT) problem for string rewriting systems. Our main motivation was in computing fixe…
cs.LO2017
Asymmetric Unification and Disunification
Veena Ravishankar, Kimberly A. Gero, Paliath Narendran
We compare two kinds of unification problems: Asymmetric Unification and Disunification, which are variants of Equational Unification. Asymmetric Unification is a type of Equationa…