Fundamenta Informaticae, Volume 33

Volume 33, Numbers 1, January 1998

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

Volume 33, Numbers 2, February 1998

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

Volume 33, Numbers 3, March 1998

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

Volume 33, Numbers 4, April 1998

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