International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2001)

<p>Here is the <a href="main-noframes.html"> non-frame based version of this document. <h1>International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2001)</h1> <h3>held in conjunction with RTA 2001</h3> <h3>in Utrecht, The Netherlands, May 26, 2001</h3> <hr> <ul> <li><a href="cfp.html">call for papers</a> (<a href="cfp.txt">txt</a>, <a href="cfp.ps">ps</a>)</li> <li><a href="cfp.html#dates">important dates</a></li> <li><a href="cfp.html#pc">program committee</a></li> <li><a href="cfp.html#inv">invited talks</a></li> <li><a href="acc.html">accepted papers</a></li> <li><a href="prog.html">program</a></li> <li><a href="reg.html">registration</a></li> <li><a href="proc.html">proceedings</a></li> <li><a href="https://www.logic.at/wrsrp01/">workshop homepage</a></li> </ul>