Contents of Fundamenta Informaticae Volume 33.


Number 1 , February 1998
Number 2, March1998
Number 3, April 1998
Number 4, May 1998

Contents of Volume 33, Number 1, February 1998

Click on title for abstract


Minimal-Maximal Time Cause-Effect Structures
L. CZAJA
Cause-Effect Structures - Structural and Semantic Properties Revisited
L. CZAJA
On Scott Consequence Systems
G.DIMOV and D. VAKARELOV
CR-Structures
V. SCHMITT
Automated Deduction Techniques for Studying Rough Algebras
L. VIGNERON

Contents of Volume 33, Number 2, March 1998

Click on title for abstract


Computable Approximations of Reals: An Information-Theoretic Analysis
C. S. CALUDE and  P. H. HERTLING
Powerdomain of Paths for Representing Object Structures
T. PANKOWSKI
Lambda Abstraction Algebras: Coordinatizing Models of Lambda Calculus
D. PIGOZZI and A. SALIBRA
Termination of Graph Rewriting is Undecidable
D. PLUMP

Contents of Volume 33, Number 3, April 1998
Click on title for abstract

An efficient Parser for a Class of Contextual Languages
R. GRAMATOVICI
Generalized Factors of Words
L. ILIE
Algebraic, Linear and Rational Languages Defined by MIX Operation
M. KUDLEK and A. MATEESCU
Limits of Pure Grammars with Monotone Productions
P. MARTINEK
Parallelism in Contextual Grammars
V. MITRANA
Reduction of Pregrammars
M. NOVOTNY

Contents of Volume 33, Number 4, May 1998

SPECIAL ISSUE: Typed Lambda Calculi and Applications (TLCA'97)
GUEST EDITOR: J. Roger Hindley

Click on title for abstract

Coinductive Axiomatization of Recursive Type Equality and Subtyping
M. BRANDT and F. HENGLEIN
A Simple Adequate Categorical Model for PCF, II
T. BRAUNER
Names, Equations, Relations:
I. STARK
An Axiomatic System of Parametricity
I. TAKEUTI