| 151 | -- | 0 | . Guest Editorial |
| 152 | -- | 162 | Dexter Kozen. On the Complexity of Reasoning in Kleene Algebra |
| 163 | -- | 193 | Josee Desharnais, Abbas Edalat, Prakash Panangaden. Bisimulation for Labelled Markov Processes |
| 194 | -- | 212 | Henrik Reif Andersen, Henrik Hulgaard. Boolean Expression Diagrams |
| 213 | -- | 229 | Witold Charatonik, Andreas Podelski. Set Constraints with Intersection |
| 230 | -- | 249 | P. S. Thiagarajan, Igor Walukiewicz. An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces |
| 250 | -- | 278 | Martin Grohe. Large Finite Structures with Few Lk-Types |
| 279 | -- | 295 | Kousha Etessami, Moshe Y. Vardi, Thomas Wilke. First-Order Logic with Two Variables and Unary Temporal Logic |
| 296 | -- | 331 | Jon G. Riecke, Anders Sandholm. A Relational Account of Call-by-Value Sequentiality |
| 332 | -- | 355 | Martin Hofmann, Thomas Streicher. Completeness of Continuation Models for lambda-mu-Calculus |
| 356 | -- | 383 | Oliver Matz, Nicole Schweikardt, Wolfgang Thomas. The Monadic Quantifier Alternation Hierarchy over Grids and Graphs |