IWC 2012

1st International Workshop on Confluence

Bertram Felgenhauer: A Proof Order for Decreasing Diagrams
Dominik Klein and Nao Hirokawa: Confluence of Non-Left-Linear TRSs via Relative Termination (Extended Abstract)
Christian Nemeth, Harald Zankl and Nao Hirokawa: IaCOP – Interface for the Administration of Cops
Kristoffer Rose: A Case for Completion Modulo Equivalence
Thomas Sternagel, René Thiemann, Harald Zankl and Christian Sternagel: Recording Completion for Finding and Certifying Proofs in Equational Logic
Hans Zantema: Automatically Finding Non-Confluent Examples in Abstract Rewriting