IWC 2014 WORKSHOP PROCEEDINGS: AUTHOR INDEX

Papers Papers with Abstracts Preface Author Index Keyword Index Additional files

Shortcuts: A G H M N O S T Y

A
Accattoli, Beniamino	On the Formalization of Lambda-Calculus Confluence and Residuals (PDF, talk)
G
Gmeiner, Karl	On Proving Confluence of Conditional Term Rewriting Systems via the Computationally Equivalent Transformation (PDF, talk)
Guiraud, Yves	Confluence of linear rewriting and homology of algebras (PDF, talk)
H
Hellström, Lars	Critical Pairs in Network Rewriting (PDF, talk)
Hirokawa, Nao	Normalization Equivalence of Rewrite Systems (PDF, talk) Confluence and Critical-Pair-Closing Systems (PDF, talk)
Hoffbeck, Eric	Confluence of linear rewriting and homology of algebras (PDF, talk)
M
Malbos, Philippe	Confluence of linear rewriting and homology of algebras (PDF, talk)
Middeldorp, Aart	Normalization Equivalence of Rewrite Systems (PDF, talk)
Mimram, Samuel	An Introduction to Higher-Dimensional Rewriting Theory (PDF)
N
Nagele, Julian	Certification of Confluence Proofs using CeTA (PDF, talk)
Nishida, Naoki	On Proving Confluence of Conditional Term Rewriting Systems via the Computationally Equivalent Transformation (PDF, talk)
O
Ogawa, Mizuhito	Non-E-overlapping and weakly shallow TRSs are confluent (Extended abstract) (PDF, talk)
Oyamaguchi, Michio	Confluence and Critical-Pair-Closing Systems (PDF, talk) Non-E-overlapping and weakly shallow TRSs are confluent (Extended abstract) (PDF, talk)
S
Sakai, Masahiko	Non-E-overlapping and weakly shallow TRSs are confluent (Extended abstract) (PDF, talk)
Sternagel, Christian	Normalization Equivalence of Rewrite Systems (PDF, talk)
T
Thiemann, René	Certification of Confluence Proofs using CeTA (PDF, talk)
Y
Yanagisawa, Makishi	On Proving Confluence of Conditional Term Rewriting Systems via the Computationally Equivalent Transformation (PDF, talk)