2 papers
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…
cs.LO2016
Notes on Lynch-Morawska Systems
Daniel S. Hono, Namrata Galatage, Kimberly A. Gero +2
In this paper we investigate convergent term rewriting systems that conform to the criteria set out by Christopher Lynch and Barbara Morawska in their seminal paper "Basic Syntacti…