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