UNIF 2013: Keyword Index

Keyword	Papers
a
Anti-Unification with Skeletons	Unranked Anti-Unification with Hedge and Context Variables
Asymmetric unification	Unication Problems Modulo a Theory of Until
c
combination	Hierarchical Combination of Unication Algorithms (Extended Abstract)
d
Description Logic	Hybrid Unification in the Description Logic EL
Disunification	Unication Problems Modulo a Theory of Until
e
equational generalization	Detecting Modular ACU Structural Symmetries
equational theories	Hierarchical Combination of Unication Algorithms (Extended Abstract)
Equational Unification	Unication Problems Modulo a Theory of Until
equivalence checking	Is it possible to unify sequential programs?
g
Generalization with Hedge and Context Variables	Unranked Anti-Unification with Hedge and Context Variables
graph automorphism	Detecting Modular ACU Structural Symmetries
l
Least General Rigid Generalization	Unranked Anti-Unification with Hedge and Context Variables
Linear Temporal Logic	Unication Problems Modulo a Theory of Until
n
NP-complete	Hybrid Unification in the Description Logic EL
NP-completeness	Unication Problems Modulo a Theory of Until
p
Parametrized Rigid Higher-Order Generalization	Unranked Anti-Unification with Hedge and Context Variables
polynomial time	Is it possible to unify sequential programs?
polynomial time complexity	Unication Problems Modulo a Theory of Until
program	Is it possible to unify sequential programs?
s
Structural symmetries	Detecting Modular ACU Structural Symmetries
substitution	Is it possible to unify sequential programs?
t
term rewriting	Unication Problems Modulo a Theory of Until
u
unification	Hybrid Unification in the Description Logic EL Hierarchical Combination of Unication Algorithms (Extended Abstract) Is it possible to unify sequential programs?
Unranked Higher-Order Anti-Unification	Unranked Anti-Unification with Hedge and Context Variables