1 citations · 1 across the 4 of their papers we have counts for
4 papers
On Problems Dual to Unification: The String-Rewriting Case
Zümrüt Akçam, Kimberly A. Cornell, Daniel S. Hono +2
In this paper, we investigate problems which are dual to the unification problem, namely the Fixed Point (FP) problem, Common Term (CT) problem and the Common Equation (CE) problem…
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…
Lynch-Morawska Systems on Strings
Daniel S. Hono, Paliath Narendran, Rafael Veras
We investigate properties of convergent and forward-closed string rewriting systems in the context of the syntactic criteria introduced in \cite{LynchMorawska} by Christopher Lynch…
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…