Grasp and Delivery for Moving Objects on Broken Lines Yuichi AsahiroEiji MiyanoShinichi Shimoirisa OriginalPaper 17 October 2007 Pages: 289 - 305
Logical Equivalence for Subtyping Object and Recursive Types Steffen van BakelUgo de’Liguoro OriginalPaper 31 October 2007 Pages: 306 - 348
Improved Algorithms for Polynomial-Time Decay and Time-Decay with Additive Error Tsvi KopelowitzEly Porat OriginalPaper 27 October 2007 Pages: 349 - 365
Model Checking Abilities of Agents: A Closer Look Wojciech JamrogaJürgen Dix OriginalPaper 30 October 2007 Pages: 366 - 410
A New Combinatorial Approach to Sequence Comparison S. MantaciA. RestivoM. Sciortino OriginalPaper 30 October 2007 Pages: 411 - 429