![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
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 D. 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
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.