Author:Temur Kutsia

Publications

Keyphrases

Anti-Unification with Skeletons, completeness, functional logic programming, Generalization with Hedge and Context Variables, Least General Rigid Generalization, narrowing, network monitors, Parametrized Rigid Higher-Order Generalization, predicate logic, soundness, space complexity, strategies, Unranked Higher-Order Anti-Unification.