| 1133 | -- | 0 | Douglas S. Bridges, Cristian Calude, Michael J. Dinneen, Bakhadyr Khoussainov. Logic in Computer Science |
| 1134 | -- | 1147 | Takahito Aoto, Yoshihito Toyama. Persistency of Confluence |
| 1148 | -- | 1161 | Douglas S. Bridges, Wang Yuchuan. Constructive Aspects of the Dirichlet Problem |
| 1162 | -- | 1166 | Cristian Calude, André Nies. Chaitin Omega Numbers and Strong Reducibilities |
| 1167 | -- | 1179 | Cristian Calude, Ioan Tomescu. Optimum Extendible Prefix Codes |
| 1180 | -- | 1193 | Elena Calude, Marjo Lipponen. Minimal Deterministic Incomplete Automata |
| 1194 | -- | 1198 | Bruno Courcelle, Rodney G. Downey, Michael R. Fellows. A Note on the Computability of Graph Minor Obstruction Sets for Monadic Second Order Ideals |
| 1199 | -- | 1206 | Michael J. Dinneen. Too Many Minor Order Obstructions |
| 1207 | -- | 1225 | Ulrich Günther, Peter Hertling, Radu Nicolescu, Mark R. Titchener. Representing Variable-Length Codes in Fixed-Length T-Depletion Format in Encoders and Decoders |
| 1226 | -- | 1240 | Peter Hertling. Surjective Functions on Computably Growing Cantor Sets |
| 1241 | -- | 1249 | Peter Hertling, Yongge Wang. Invariance Properties of Random Sequences |
| 1250 | -- | 1254 | Hajime Ishihara. Sequential Continuity of Linear Mappings in Constructive Mathematics |
| 1255 | -- | 1265 | Hajime Ishihara, Bakhadyr Khoussainov. Effectiveness of the Completeness Theorem for an Intermediate Logic |
| 1266 | -- | 1281 | Yoshihiko Murakawa, Satoshi Tojo, Susumu Kunifuji. Imperfect Information Flow of Agents Communication in Arrow Logic |