| 125 | -- | 136 | Zhi-Zhong Chen. Approximating Unweighted Connectivity Problems in Parallel |
| 137 | -- | 155 | Benedetto Intrigila, Ivano Salvo, Stefano Sorgi. A Characterization of Weakly Church-Rosser Abstract Reduction Systems That Are Not Church-Rosser |
| 156 | -- | 182 | Johann Blieberger. Real-Time Properties of Indirect Recursive Procedures |
| 183 | -- | 200 | William C. Rounds, Guo-Qiang Zhang. Clausal Logic and Logic Programming in Algebraic Domains |
| 201 | -- | 223 | Pavel Pudlák. Complexity Theory and Genetics: The Computational Power of Crossing Over |
| 224 | -- | 247 | Rudolf Fleischer, Kathleen Romanik, Sven Schuierer, Gerhard Trippen. Optimal Robot Localization in Trees |
| 248 | -- | 268 | Yehuda Hassin, David Peleg. Distributed Probabilistic Polling and Applications to Proportionate Agreement |
| 269 | -- | 293 | Kamal Lodaya, Pascal Weil. Rationality in Algebras with a Series Operation |
| 294 | -- | 305 | Leah Epstein. Online Variable Sized Covering |
| 306 | -- | 332 | Alexander Moshe Rabinovich, Shahar Maoz. An Infinite Hierarchy of Temporal Logics over Branching Time |
| 333 | -- | 349 | Gudmund Skovbjerg Frandsen, Johan P. Hansen, Peter Bro Miltersen. Lower Bounds for Dynamic Algebraic Problems |
| 350 | -- | 363 | Adi Shamir, Boaz Tsaban. Guaranteeing the Diversity of Number Generators |
| 364 | -- | 387 | Jens Palsberg, Tian Zhao. Efficient and Flexible Matching of Recursive Types |