VSL 2014: VIENNA SUMMER OF LOGIC 2014
TALK AUTHOR INDEX
Shortcuts: AGHMNOSTYZ
A
Accattoli, Beniamino
On the Formalization of Lambda-Calculus Confluence and Residuals
Aoto, Takahito
Confluence Competition
G
Gmeiner, Karl
On Proving Confluence of Conditional Term Rewriting Systems via the Computationally Equivalent Transformation
Guiraud, Yves
Confluence of linear rewriting and homology of algebras
H
Hellström, Lars
Critical Pairs in Network Rewriting
Hirokawa, Nao
Confluence and Critical-Pair-Closing Systems
Normalization Equivalence of Rewrite Systems
Confluence Competition
Hoffbeck, Eric
Confluence of linear rewriting and homology of algebras
M
Malbos, Philippe
Confluence of linear rewriting and homology of algebras
Middeldorp, Aart
Normalization Equivalence of Rewrite Systems
N
Nagele, Julian
Certification of Confluence Proofs using CeTA
Nishida, Naoki
On Proving Confluence of Conditional Term Rewriting Systems via the Computationally Equivalent Transformation
O
Ogawa, Mizuhito
Non-E-overlapping and weakly shallow TRSs are confluent (Extended abstract)
Oyamaguchi, Michio
Confluence and Critical-Pair-Closing Systems
Non-E-overlapping and weakly shallow TRSs are confluent (Extended abstract)
S
Sakai, Masahiko
Non-E-overlapping and weakly shallow TRSs are confluent (Extended abstract)
Sternagel, Christian
Normalization Equivalence of Rewrite Systems
T
Thiemann, René
Certification of Confluence Proofs using CeTA
Y
Yanagisawa, Makishi
On Proving Confluence of Conditional Term Rewriting Systems via the Computationally Equivalent Transformation
Z
Zankl, Harald
Confluence Competition