Talk Keyword Index

TALK KEYWORD INDEX

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

Shortcuts: A C D F G H I N O R S T U

A
algebraic confluence	Coherence of monoids by insertions
C
certification	Certified Ordered Completion
cluster algebra	Complete Axiom System of Cluster Algebra
coherence	Coherence of monoids by insertions Coherence modulo relations
conditional rewriting	Convergence of Simultaneously and Sequentially Unraveled TRSs for Normal Conditional TRSs
confluence	Towards a Verified Decision Procedure for Confluence of Ground Term Rewrite Systems in Isabelle/HOL Convergence of Simultaneously and Sequentially Unraveled TRSs for Normal Conditional TRSs
Confluence modulo	Coherence modulo relations
D
data compression	Complete Axiom System of Cluster Algebra
diamond lemma	The diamond lemma for free modules
F
formalization	Certified Ordered Completion Towards a Verified Decision Procedure for Confluence of Ground Term Rewrite Systems in Isabelle/HOL
free modules	The diamond lemma for free modules
G
Gray categories	Critical pairs for Gray categories
ground systems	Towards a Verified Decision Procedure for Confluence of Ground Term Rewrite Systems in Isabelle/HOL
H
higher categories	Critical pairs for Gray categories
I
Isabelle/HOL	Certified Ordered Completion
N
Newman's lemma	Critical pairs for Gray categories
O
ordered completion	Certified Ordered Completion
R
rewriting	Critical pairs for Gray categories
S
string data structure	Coherence of monoids by insertions
string rewriting	Coherence modulo relations
syzygies	The diamond lemma for free modules
T
term rewriting	Towards a Verified Decision Procedure for Confluence of Ground Term Rewrite Systems in Isabelle/HOL
termination	Convergence of Simultaneously and Sequentially Unraveled TRSs for Normal Conditional TRSs
top tree	Complete Axiom System of Cluster Algebra
U
unique normal form property	Complete Axiom System of Cluster Algebra
unraveling	Convergence of Simultaneously and Sequentially Unraveled TRSs for Normal Conditional TRSs