External Links

    Journal: Fundamenta Informaticae

    Volume 33, Issue 4

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

    Volume 33, Issue 3

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

    Volume 33, Issue 2

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

    Volume 33, Issue 1

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