FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
TALK KEYWORD INDEX

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

Shortcuts: ACDFGHINORSTU
A
algebraic confluence
C
certification
cluster algebra
coherence
conditional rewriting
confluence
Confluence modulo
D
data compression
diamond lemma
F
formalization
free modules
G
Gray categories
ground systems
H
higher categories
I
Isabelle/HOL
N
Newman's lemma
O
ordered completion
R
rewriting
S
string data structure
string rewriting
syzygies
T
term rewriting
termination
top tree
U
unique normal form property
unraveling