Fundamenta Informaticae, Volume 32

Volume 32, Number 1, October 1997

• Marcelo F. Frias, Gabriel Baum, Armando Martin Haeberer: Fork Algebras in Algebra, Logic and Computer Science. 1-25
• Stefano Kasangian, Sebastiano Vigna: The Topos of Labelled Trees: A Categorical Semantics for SCCS. 27-45
• Don Pigozzi, Antonino Salibra: Lambda Abstraction Algebras: Coordinatizing Models of Lambda Calculus. 47-90
• Jerzy Tyszkiewicz: Queries and Algorithms Computable by Polynomial Time Existential Reflective Machines. 91-105

Volume 32, Number 2, November 1997

• Mihir K. Chakraborty, Ewa Orlowska: Substitutivity Principles in Some Theories of Uncertainty. 107-120
• Terry Gaasterland, Jorge Lobo: Qualifying Answers According to User Needs and Preferences. 121-137
• V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel: Complexity of Recursive Normal Default Logic. 139-147
• Gheorghe Paun, Lech Polkowski, Andrzej Skowron: Rough Set Approximations of Languages. 149-162
• Carolina Ruiz, Jack Minker: Combining Closed World Assumptions with Stable Negation. 163-181
• Krister Segerberg: Proposal for a Theory of Belief Revision Along the Lines of Lindström and Rabinowicz. 183-191

Volume 32, Numbers 3-4, December 1997

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