WIR14: July 12, 2014
Workshop on Infinitary Rewriting
Overview
WIR is the Workshop on Infinitary Rewriting.
All information on WIR14 (aim, scope, call for papers) is on http://www.win.tue.nl/~hzantema/wir.html.
Call for Papers
See http://www.win.tue.nl/~hzantema/wir.html.