Sumario
 Título / Autor(es)Página(s)
 Intersection and Singleton Type Assignment Characterizing Finite Böhm-Trees / Kurata, Toshihiko1-11
 Linear Time and the Power of One First-Order Universal Quantifier / Durand, Arnaud12-22
 Prelogical Relations / Honsell, Furio / Sannella, Donald23-43
 The Box Algebra=Petri Nets+Process Expressions / Best, Eike / Devillers, Raymond / Koutny, Maciej44-100
 Relative Undecidability in Term Rewriting / Geser, Alfons / Middeldorp, Aart / Ohlebusch, Enno / Zantema, Hans101-131
 Relative Undecidability in Term Rewriting / Geser, Alfons / Middeldorp, Aart / Ohlebusch, Enno / Zantema, Hans132-148
 Conservation and Uniform Normalization in Lambda Calculi with Erasing Reductions / Neergaard, Peter Moller / Sorensen, Morten Heine149-179
 Ordered SOS Process Languages for Branching and Eager Bisimulations / Ulidowski, Irek / Phillips, Iain180-213
 Learning Closed Horn Expressions / Arias, Marta / Khardon, Roni214-240
 On Complexity of Easy Predictable Sequences / Vyugin, Michael V / V'yugin, Vladimir V241-252
 The Complexity of Solving Equations over Finite Groups / Goldmann, Mikael / Russell, Alexander253-262
 On the Nonapproximability of Boolean Functions by OBDDs and Read-k-Times Branching Programs / Bollig, Beate / Sauerhoff, Martin / Wegener, Ingo263-278
 The Small Model Property: How Small Can It Be? / Pnueli, Amir / Rodeh, Yoav / Strichman, Ofer / Siegel, Michael279-293
 Context-Sensitive Rewriting Strategies / Lucas, Salvador294