IWC 2012
1st International Workshop on Confluence
29 May 2012, Nagoya, Japan
Invited Speakers
| Vincent van Oostrom | Utrecht University | Decreasing Proof Orders – Interpreting Conversions in Involutive Monoids |
| Yoshihito Toyama | Tohoku University | Type Introduction for Confluence Proofs |