default search action

combined dblp search
author search
venue search
publication search

ask others

Fundamenta Informaticae, Volume 33

> Home > Journals > Fundamenta Informaticae

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 33, Numbers 1, January 1998

- view
  authority control:
- export record
  dblp key:
  - journals/fuin/Czaja98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/Czaja98
Ludwik Czaja:
Minimal-Maximal Time Cause-Effect Structures. 1-16
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/Czaja98a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/Czaja98a
Ludwik Czaja:
Cause-Effect Structures - Structural and Semantic Properties Revisited. 17-42
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/DimovV98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/DimovV98
Georgi D. Dimov, Dimiter Vakarelov:
On Scott Consequence Systems. 43-70
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/Schmitt98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/Schmitt98
Vincent Schmitt:
CR-Structures. 71-83
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/Vigneron98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/Vigneron98
Laurent Vigneron:
Automated Deduction Techniques for Studying Rough Algebras. 85-103

Volume 33, Numbers 2, February 1998

- view
  authority control:
- export record
  dblp key:
  - journals/fuin/CaludeH98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/CaludeH98
Cristian Calude, Peter Hertling:
Computable Approximations of Reals: An Information-Theoretic Analysis. 105-120
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/Pankowski98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/Pankowski98
Tadeusz Pankowski:
Powerdomain of Paths for Representing Object Structures. 121-148
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/PigozziS98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/PigozziS98
Don Pigozzi, Antonino Salibra:
Lambda Abstraction Algebras: Coordinatizing Models of Lambda Calculus. 149-200
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/Plump98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/Plump98
Detlef Plump:
Termination of Graph Rewriting is Undecidable. 201-209

Volume 33, Numbers 3, March 1998

Grammar Systems

- view
  authority control:
- export record
  dblp key:
  - journals/fuin/Gramatovici98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/Gramatovici98
Radu Gramatovici:
An Efficient Parser for a Class of Contextual Languages. 211-238
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/Ilie98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/Ilie98
Lucian Ilie:
Generalized Factors of Words. 239-247
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/KudlekM98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/KudlekM98
Manfred Kudlek, Alexandru Mateescu:
Algebraic, Linear and Rational Languages Defined by Mix Operation. 249-264
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/Martinek98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/Martinek98
Pavel Martinek:
Limits of Pure Grammars with Monotone Productions. 265-280
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/Mitrana98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/Mitrana98
Victor Mitrana:
Parallelism in Contextual Grammars. 281-294
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/Novotny98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/Novotny98
Miroslav Novotný:
Reduction of Pregrammars. 295-307

Volume 33, Numbers 4, April 1998

Typed Lambda-Calculi and Applications

- view
  authority control:
- export record
  dblp key:
  - journals/fuin/BrandtH98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/BrandtH98
Michael Brandt, Fritz Henglein:
Coinductive Axiomatization of Recursive Type Equality and Subtyping. 309-338
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/Brauner98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/Brauner98
Torben Braüner:
A Simple Adequate Categorical Model for PCF, II. 339-368
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/Stark98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/Stark98
Ian Stark:
Names, Equations, Relations: Practical Ways to Reason About New. 369-396
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/Takeuti98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/Takeuti98
Izumi Takeuti:
An Axiomatic System of Parametricity. 397-432

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.