IWC 2012
1st International Workshop on Confluence
29 May 2012, Nagoya, Japan
Topics
The workshop solicits short papers/extended abstracts on the following topics:
- confluence and related properties (unique normal forms, commutation, ground confluence)
- critical pair criteria
- decidability issues
- complexity issues
- system descriptions
- certification
- applications of confluence