Journal: Theory Comput. Syst.

Volume 42, Issue 3

287 -- 288Mario Coppo, Elena Lodi, G. Michele Pinna. Foreword
289 -- 305Yuichi Asahiro, Eiji Miyano, Shinichi Shimoirisa. Grasp and Delivery for Moving Objects on Broken Lines
306 -- 348Steffen van Bakel, Ugo de Liguoro. Logical Equivalence for Subtyping Object and Recursive Types
349 -- 365Tsvi Kopelowitz, Ely Porat. Improved Algorithms for Polynomial-Time Decay and Time-Decay with Additive Error
366 -- 410Wojciech Jamroga, Jürgen Dix. Model Checking Abilities of Agents: A Closer Look
411 -- 429Sabrina Mantaci, Antonio Restivo, Giovanna Rosone, Marinella Sciortino. A New Combinatorial Approach to Sequence Comparison