Fundamenta Informaticae, Volume 33

Volume 33, Numbers 1, January 1998

• Ludwik Czaja: Minimal-Maximal Time Cause-Effect Structures. 1-16
• Ludwik Czaja: Cause-Effect Structures - Structural and Semantic Properties Revisited. 17-42
• Georgi Dimov, Dimiter Vakarelov: On Scott Consequence Systems. 43-70
• Vincent Schmitt: CR-Structures. 71-83
• Laurent Vigneron: Automated Deduction Techniques for Studying Rough Algebras. 85-103

Volume 33, Numbers 2, February 1998

• Cristian Calude, Peter Hertling: Computable Approximations of Reals: An Information-Theoretic Analysis. 105-120
• Tadeusz Pankowski: Powerdomain of Paths for Representing Object Structures. 121-148
• Don Pigozzi, Antonino Salibra: Lambda Abstraction Algebras: Coordinatizing Models of Lambda Calculus. 149-200
• Detlef Plump: Termination of Graph Rewriting is Undecidable. 201-209

Volume 33, Numbers 3, March 1998

• Radu Gramatovici: An Efficient Parser for a Class of Contextual Languages. 211-238
• Lucian Ilie: Generalized Factors of Words. 239-247
• Manfred Kudlek, Alexandru Mateescu: Algebraic, Linear and Rational Languages Defined by Mix Operation. 249-264
• Pavel Martinek: Limits of Pure Grammars with Monotone Productions. 265-280
• Victor Mitrana: Parallelism in Contextual Grammars. 281-294
• Miroslav Novotný: Reduction of Pregrammars. 295-307

Volume 33, Numbers 4, April 1998

• Michael Brandt, Fritz Henglein: Coinductive Axiomatization of Recursive Type Equality and Subtyping. 309-338
• Torben Braüner: A Simple Adequate Categorical Model for PCF, II. 339-368
• Ian Stark: Names, Equations, Relations: Practical Ways to Reason About New. 369-396
• Izumi Takeuti: An Axiomatic System of Parametricity. 397-432