Contents of Fundamenta Informaticae Volume 32.


Number 1 , October 1997
Number 2, November1997
Number 3-4, December1997/January 1998

Contents of Volume 32, Number 1, October 1997

Click on title for abstract

Fork Algebras in Algebra, Logic and Computer Science
M. F. FRIAS , G. A. BAUM and A. M.HAEBERER
The Topos of Labelled Trees: A Categorical Semantics for SCCS
S. KASANGIAN and S. VIGNA
Lambda Abstraction Algebras: Coordinatizing Models of Lambda Calculus
D. PIGOZZI and A. SALIBRA
Queries and Algorithms Computable by Polynomial Time Existential Reflective Machines
J. TYSZKIEWICZ

Contents of Volume 32, Number 2, November1997

Click on title for abstract


Substitutivity Principles in Some Theories of Uncertainty
M.K. CHAKRABORTY  and E. ORLOWSKA
Qualifying Answers According to User Needs and Preferences
T. GAASTERLAND and J. LOBO
Complexity of Recursive Normal Default Logic
V. MAREK, A. NERODE and J. B. REMMEL
Rough Set Approximations of Languages
G. PAUN, L. POLKOWSKI and A. SKOWRON
Combining Closed World Assumptions with Stable Negation
C. RUIZ and J. MINKER
Proposal for a Theory of Belief Revision Along the Lines of Lindstroem and Rabinowicz
K. SEGERBERG

Contents of Volume 32, Number 3-4, December1997/January 1998

Click on title for abstract

A Convex Powerdomain over Lattices: its Logic and Lambda-Calculus
F.ALESSI , M. DEZANI-CIANCAGLINI and U. de'LIGUORO
Bi-models: Relational Versus  Domain-theoretic Approaches
A. BUCCIARELLI
Unification: Nothing but the Solution of a System of Linear Equations
A. BUJOSA, R. CRIADO and M. A. HERNANDEZ-MEDINA
Modal Tableaux with Propagation Rules and Structural Rules
M. A. CASTILHO, L. FARINAS del CERRO, O. GASQUET and A. HERZIG
Graded Consequence and Some Metalogical Notions Generalized
M. K. CHKRABORTY and S. BASU
Transition-optimal Token Distribution
B. CHLEBUS, K.DIKS and  A. PELC
An Axiomatization for Regular Processes in Timed Branching  Bisimulation
W. FOKKINK
Decision Problems Concerning a Power Series Generalization of DT0L Systems
J. HONKALA
Disjunctive Signed Logic Programs
M. A. KHAMSI and D. MISANE
On Relation of Image Compression and Image  Association
W. SKARBEK
Jumping Petri Nets. Specific Properties
F. L. TIPLEA