Author:Kimberly Gero
KeyphrasesAsymmetric unification, Disunification, Equational Unification2, Linear Temporal Logic, NP-completeness, polynomial time complexity, subterm-collapse, term rewriting2, Term Rewriting Systems, unification modulo convergent term rewrite systems. |