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