Talk Author Index

TALK AUTHOR INDEX

Shortcuts: A B F G H K L M V

A
Aoto, Takahito	A Critical Pair Criterion for Level-Commutation of Conditional Term Rewriting Systems
B
Baudon, Thaïs	On Confluence of Parallel-Innermost Term Rewriting
F
Fuhs, Carsten	On Confluence of Parallel-Innermost Term Rewriting
G
Gonnord, Laure	On Confluence of Parallel-Innermost Term Rewriting
Gutiérrez, Raúl	Proving Confluence with CONFident
H
Haga, Ryota	A Critical Pair Criterion for Level-Commutation of Conditional Term Rewriting Systems
Hamana, Makoto	Checking Confluence of Rewrite Rules in Haskell
Heijltjes, Willem	Confluence by Higher-Order Multi--One Critical pairs with an application to the Functional Machine Calculus
Hirokawa, Nao	Seven Confluence Criteria for Solving COPS #20
K
Kagaya, Yuki	A Critical Pair Criterion for Level-Commutation of Conditional Term Rewriting Systems
Kohl, Christina	Development Closed Critical Pairs: Towards a Formalized Proof
L
Lochmann, Alexander	Formalized Signature Extension Results for Equivalence
Lucas, Salvador	On local confluence of conditional rewrite systems Proving Confluence with CONFident
M
Middeldorp, Aart	Development Closed Critical Pairs: Towards a Formalized Proof Formalized Signature Extension Results for Equivalence Confluence Competition
Mitterwallner, Fabian	Formalized Signature Extension Results for Equivalence
V
van Oostrom, Vincent	Uniform Completeness Confluence by Higher-Order Multi--One Critical pairs with an application to the Functional Machine Calculus
Vítores, Miguel	Proving Confluence with CONFident