Talk Keyword Index

TALK KEYWORD INDEX

This page contains an index consisting of author-provided keywords.

Shortcuts: A B C E F G H I K N O P Q S U α

A
ACUI	ACUI Unification modulo Ground Theories
all maximal clique partitions in a graph	Proximity-Based Generalization
Anti-unification	Towards Generalization Methods for Purely Idempotent Equational Theories Proximity-Based Generalization
atom variables	Rewriting with Generalized Nominal Unification
B
Binding operations	Efficiency of a good but not linear nominal unification algorithm
Bounded	Bounded ACh Unification
C
contact logics	About the unification type of topological logics over Euclidean spaces
E
Efficiency	Efficiency of a good but not linear nominal unification algorithm
equational rewriting	Knowledge Problems in Equational Extensions of Subterm Convergent Theories
Equational theories	Towards Generalization Methods for Purely Idempotent Equational Theories
equational theory	Unification based on generalized embedding
essential unification	Unification based on generalized embedding
F
First-Order Syntactic Unification	Formalization of First-Order Syntactic Unification
formalization	Formalization of First-Order Syntactic Unification
fuzzy generalization	Proximity-Based Generalization
G
ground theories	ACUI Unification modulo Ground Theories
H
Homomorphism	Bounded ACh Unification
I
Idempontent	Towards Generalization Methods for Purely Idempotent Equational Theories
intruder deduction problem	Knowledge Problems in Equational Extensions of Subterm Convergent Theories
Isabelle Proof Assistant	Formalization of First-Order Syntactic Unification
K
Knuth-Bendix criterion	Rewriting with Generalized Nominal Unification
N
nominal rewriting	Rewriting with Generalized Nominal Unification
nominal unification	Rewriting with Generalized Nominal Unification
O
ordering	Unification based on generalized embedding
P
proximity relation	Proximity-Based Generalization
Q
qualitattive spatial reasoning	About the unification type of topological logics over Euclidean spaces
S
Splitting	Bounded ACh Unification
static equivalence problem	Knowledge Problems in Equational Extensions of Subterm Convergent Theories
subterm convergent theories	Knowledge Problems in Equational Extensions of Subterm Convergent Theories
U
Unification	About the unification type of topological logics over Euclidean spaces Efficiency of a good but not linear nominal unification algorithm Bounded ACh Unification ACUI Unification modulo Ground Theories
α
α-conversion	Efficiency of a good but not linear nominal unification algorithm