VSL 2014: VIENNA SUMMER OF LOGIC 2014
TALK KEYWORD INDEX

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

Shortcuts: CHLNPRTW
C
certification
conditional rewriting
confluence
confluence in algebra
conversion equivalence
critical pair
critical pairs
H
higher-dimensional rewriting
L
linear rewriting and generalized gröbner basis
N
network rewriting
Non-linear
nonconvex subexpression
normalization equivalence
P
Parallel Closedness Theorem
program transformation
R
relative termination
T
term rewriting
Term Rewriting Systems
theorem proving
W
weakly shallow
wrap ambiguity