| 193 | -- | 250 | Fabio Alessi, Mariangiola Dezani-Ciancaglini, Ugo de Liguoro. A Convex Powerdomain over Lattices: Its Logic and lambda-Calculus |
| 251 | -- | 266 | Antonio Bucciarelli. Bi-Models: Relational Versus Domain-Theoretic Approaches |
| 267 | -- | 280 | Andrés Bujosa, Regino Criado, Miguel A. Hernandez-Medina. Unification: Nothing but the Solution of a System of Linear Equations |
| 281 | -- | 297 | Marcos A. Castilho, Luis Fariñas del Cerro, Olivier Gasquet, Andreas Herzig. Modal Tableaux with Propagation Rules and Structural Rules |
| 299 | -- | 311 | Mihir K. Chakraborty, Sanjukta Basu. Graded Consequence and Some Metalogical Notions Generalized |
| 313 | -- | 328 | Bogdan S. Chlebus, Krzysztof Diks, Andrzej Pelc. Transition-Optimal Token Distribution |
| 329 | -- | 340 | Wan Fokkink. An Axiomatization for Regular Processes in Times Branching Bisimulation |
| 341 | -- | 348 | Juha Honkala. Decision Problems Concerning a Power Series Generalization of DTOL Systems |
| 349 | -- | 357 | Mohamed A. Khamsi, Driss Misane. Disjunctive Signed Logic Programs |
| 359 | -- | 371 | Wladyslaw Skarbek. On Relation of Image Compression and Image Association |
| 373 | -- | 392 | Ferucio Laurentiu Tiplea, Erkki Mäkinen. Jumping Petri Nets. Specific Properties |