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 BibTeX
• Stefano Kasangian, Sebastiano Vigna: The Topos of Labelled Trees: A Categorical Semantics for SCCS. 27-45 BibTeX
• Don Pigozzi, Antonino Salibra: Lambda Abstraction Algebras: Coordinatizing Models of Lambda Calculus. 47-90 BibTeX
• Jerzy Tyszkiewicz: Queries and Algorithms Computable by Polynomial Time Existential Reflective Machines. 91-105 BibTeX

Volume 32, Number 2, November 1997

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

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