TALK KEYWORD INDEX
This page contains an index consisting of author-provided keywords.
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 |