IWC Final papers: Keyword Index

IWC FINAL PAPERS: KEYWORD INDEX

Papers Papers with Abstracts Preface Author Index Keyword Index

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

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