Talk Keyword Index

TALK KEYWORD INDEX

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

Shortcuts: C H L N P R T W

C
certification	Certification of Confluence Proofs using CeTA
conditional rewriting	On Proving Confluence of Conditional Term Rewriting Systems via the Computationally Equivalent Transformation
confluence	On Proving Confluence of Conditional Term Rewriting Systems via the Computationally Equivalent Transformation Certification of Confluence Proofs using CeTA Normalization Equivalence of Rewrite Systems Non-E-overlapping and weakly shallow TRSs are confluent (Extended abstract) Confluence and Critical-Pair-Closing Systems
confluence in algebra	Confluence of linear rewriting and homology of algebras
conversion equivalence	Normalization Equivalence of Rewrite Systems
critical pair	Critical Pairs in Network Rewriting
critical pairs	Confluence and Critical-Pair-Closing Systems
H
higher-dimensional rewriting	Confluence of linear rewriting and homology of algebras
L
linear rewriting and generalized gröbner basis	Confluence of linear rewriting and homology of algebras
N
network rewriting	Critical Pairs in Network Rewriting
Non-linear	Non-E-overlapping and weakly shallow TRSs are confluent (Extended abstract)
nonconvex subexpression	Critical Pairs in Network Rewriting
normalization equivalence	Normalization Equivalence of Rewrite Systems
P
Parallel Closedness Theorem	Confluence and Critical-Pair-Closing Systems
program transformation	On Proving Confluence of Conditional Term Rewriting Systems via the Computationally Equivalent Transformation
R
relative termination	Confluence and Critical-Pair-Closing Systems
T
term rewriting	Certification of Confluence Proofs using CeTA Normalization Equivalence of Rewrite Systems
Term Rewriting Systems	Non-E-overlapping and weakly shallow TRSs are confluent (Extended abstract)
theorem proving	Certification of Confluence Proofs using CeTA
W
weakly shallow	Non-E-overlapping and weakly shallow TRSs are confluent (Extended abstract)
wrap ambiguity	Critical Pairs in Network Rewriting