UNIF 2013: Keyword Index

KeywordPapers
a
Anti-Unification with SkeletonsUnranked Anti-Unification with Hedge and Context Variables
Asymmetric unificationUnication Problems Modulo a Theory of Until
c
combinationHierarchical Combination of Unication Algorithms (Extended Abstract)
d
Description LogicHybrid Unification in the Description Logic EL
DisunificationUnication Problems Modulo a Theory of Until
e
equational generalizationDetecting Modular ACU Structural Symmetries
equational theoriesHierarchical Combination of Unication Algorithms (Extended Abstract)
Equational UnificationUnication Problems Modulo a Theory of Until
equivalence checkingIs it possible to unify sequential programs?
g
Generalization with Hedge and Context VariablesUnranked Anti-Unification with Hedge and Context Variables
graph automorphismDetecting Modular ACU Structural Symmetries
l
Least General Rigid GeneralizationUnranked Anti-Unification with Hedge and Context Variables
Linear Temporal LogicUnication Problems Modulo a Theory of Until
n
NP-completeHybrid Unification in the Description Logic EL
NP-completenessUnication Problems Modulo a Theory of Until
p
Parametrized Rigid Higher-Order GeneralizationUnranked Anti-Unification with Hedge and Context Variables
polynomial timeIs it possible to unify sequential programs?
polynomial time complexityUnication Problems Modulo a Theory of Until
programIs it possible to unify sequential programs?
s
Structural symmetriesDetecting Modular ACU Structural Symmetries
substitutionIs it possible to unify sequential programs?
t
term rewritingUnication Problems Modulo a Theory of Until
u
unificationHybrid Unification in the Description Logic EL
Hierarchical Combination of Unication Algorithms (Extended Abstract)
Is it possible to unify sequential programs?
Unranked Higher-Order Anti-UnificationUnranked Anti-Unification with Hedge and Context Variables