Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFundamenta 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
a service of 
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.
last updated on 2024-04-25 04:39 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
