default search action

combined dblp search
author search
venue search
publication search

ask others

Fundamenta Informaticae, Volume 29

> 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 29, Numbers 1-2, January 1997

- view
  authority control:
- export record
  dblp key:
  - journals/fuin/HotzP97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/HotzP97
Günter Hotz, Gisela Pitsch:
On Using Semi-Dyck Sets to Analyse Coupled-Context-Free Languages. 1-26
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/Dembinski97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/Dembinski97
Piotr Dembinski:
Semantics of Times Concurrent Systems. 27-50
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/BaetenB97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/BaetenB97
Jos C. M. Baeten, Jan A. Bergstra:
Discrete Time Process Algebra: Absolute Time, Relative Time and Parametric Time. 51-76
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/HuzarM97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/HuzarM97
Zbigniew Huzar, Jan Magott:
Syntax and Semantics of Real-Time and Performance Evaluation Extensions of Specification Language LOTOS. 77-96
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/Seda97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/Seda97
Anthony Karel Seda:
Quasi-Metrics and the Semantics of Logic Programs. 97-117
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/DuntschG97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/DuntschG97
Ivo Düntsch, Günther Gediga:
Algebraic Aspects of Attribute Dependencies in Information Systems. 119-133
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/Peters97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/Peters97
James F. Peters III:
Mechanization of Real-Time Linear CSP with Higher Order Logic. 135-163
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/Egly97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/Egly97
Uwe Egly:
On Definitional Transformations to Normal Form for Institionistic Logic. 165-201

Volume 29, Numbers 3, February 1997

- view
  authority control:
- export record
  dblp key:
  - journals/fuin/AlexandreB97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/AlexandreB97
Francis Alexandre, Khaled Bsaïes:
A Methodology for Constructing Logic Programs. 203-223
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/BaierM97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/BaierM97
Christel Baier, Mila E. Majster-Cederbaum:
How to Interpret and Establish Consistency Results for Semantics of Concurrent Programming Languages. 225-256
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/Mohnen97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/Mohnen97
Markus Mohnen:
A Compiler Correctness Proof for the Static Link Technique by Means of Evolving Algebras. 257-303

Volume 29, Numbers 4, March 1997

- view
  authority control:
- export record
  dblp key:
  - journals/fuin/EhrenfeuchtRS97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/EhrenfeuchtRS97
Andrzej Ehrenfeucht, Grzegorz Rozenberg, Kai Salomaa:
Semantics of Nonsequential Tree-Based Computation Schemes. 305-324
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/FachiniM97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/FachiniM97
Emanuela Fachini, Angelo Monti:
Chomsky Hierarchy and Systolic Y-Tree Automata. 325-339
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/Ferrari97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/Ferrari97
Gian-Luigi Ferrari:
Atomicity and Concurrency Control in Process Calculi. 341-368
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/Jarvinen97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/Jarvinen97
Jouni Järvinen:
A Representation of Dependence Spaces and Some Basic Algorithms. 369-382
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/KunduC97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/KunduC97
Sukhamay Kundu, Jianhua Chen:
A New Method of Circumscribing Beliefs: The Propositional Case. 383-390

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.