| 165 | -- | 184 | Franco Barbanera. Combining Term Rewriting and Type Assignment Systems |
| 185 | -- | 200 | Daniel P. Bovet, Miriam Di Ianni, Pierluigi Crescenzi. Deadlock Prediction in the Case of Dynamic Routing |
| 201 | -- | 218 | Danilo Bruschi, Deborah Joseph, Paul Young. Strong Separations for the Boolean Hierarchy over RP |
| 219 | -- | 232 | Alessandra Cherubini, Claudio Citrini, Stefano Crespi-Reghizzi, Dino Mandrioli. Breath and Depth Grammars and Deque Automata |
| 233 | -- | 248 | Stefania Costantini. Semantics of a Metalogic Programming Language |
| 249 | -- | 264 | Moreno Falaschi, Maurizio Gabbrielli, Giorgio Levi, Masaki Murakami. Nested Guarded Horn Clauses |
| 265 | -- | 276 | Massimiliano Goldwurm. Some Limit Distributions in Analysis of Algorithms for Problems on Trace Languages |
| 277 | -- | 294 | Roberto Gorrieri, Ugo Montanari. Towards Hierarchical Description of Systems: A Proof System for Strong Prefixing |
| 295 | -- | 308 | Erich Grädel. On the Notion of Linear Time Computability |
| 309 | -- | 324 | Filippo Mignosi. Sturmian Words and Ambigous Context-Free Languages |
| 325 | -- | 340 | Adolfo Piperno, Enrico Tronci. Regular Systems in lambda-Calculus |
| 341 | -- | 0 | Giuseppe Rosolini. About Modest Sets |