Decision problems for pushdown threads Jan A. BergstraInge BethkeAlban Ponse Original Article Open access 22 March 2007 Pages: 75 - 90
Infinitary rewriting: meta-theory and convergence Stefan Kahrs Original Article 27 March 2007 Pages: 91 - 121
A criterion for atomicity revisited Wim H. Hesselink Original Article Open access 11 April 2007 Pages: 123 - 151