TALK KEYWORD INDEX
This page contains an index consisting of author-provided keywords.
A | |
ACUI | |
all maximal clique partitions in a graph | |
Anti-unification | |
atom variables | |
B | |
Binding operations | |
Bounded | |
C | |
contact logics | |
E | |
Efficiency | |
equational rewriting | |
Equational theories | |
equational theory | |
essential unification | |
F | |
First-Order Syntactic Unification | |
formalization | |
fuzzy generalization | |
G | |
ground theories | |
H | |
Homomorphism | |
I | |
Idempontent | |
intruder deduction problem | |
Isabelle Proof Assistant | |
K | |
Knuth-Bendix criterion | |
N | |
nominal rewriting | |
nominal unification | |
O | |
ordering | |
P | |
proximity relation | |
Q | |
qualitattive spatial reasoning | |
S | |
Splitting | |
static equivalence problem | |
subterm convergent theories | |
U | |
unification | |
α | |
α-conversion |