Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Volume
•
Abstracts
•
Preface
•
Authors
•
Keywords
•
BibTex Entries
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
Copyright © 2012-2024 easychair.org. All rights reserved.