FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
UNIF EXTENDED ABSTRACTS: KEYWORD INDEX
(
(homeomorphically) embedded E-unifiers
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