Author:Kimberly Gero

Keyphrases

Asymmetric unification, Disunification, Equational Unification², Linear Temporal Logic, NP-completeness, polynomial time complexity, subterm-collapse, term rewriting², Term Rewriting Systems, unification modulo convergent term rewrite systems.