default search action

combined dblp search
author search
venue search
publication search

ask others

Fundamenta Informaticae, Volume 40

> 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 40, Number 1, October-November 1999

- view
  authority control:
- export record
  dblp key:
  - journals/fuin/AmbainisFS99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/AmbainisFS99
Andris Ambainis, Rusins Freivalds, Carl H. Smith:
Inductive Inference with Procrastination: Back to Definitions. 1-16
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/DohertyKS99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/DohertyKS99
Patrick Doherty, Jaroslaw Kachniarz, Andrzej Szalas:
Meta-Queries on Deductive Databases. 7-30
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/Johnson99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/Johnson99
C. A. Johnson:
Processing Deductive Databases under the Disjunctive Stable Model Semantics. 31-51
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/Preoteasa99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/Preoteasa99
Viorel Preoteasa:
A Relation Between Unambiguous Regular Expressions and Abstract Data Types. 53-77
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/SuL99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/SuL99
Kaile Su, Wei Li:
Computation of Extensions of Seminormal Default Theories. 79-102

Volume 40, Numbers 2-3, November-December 1999

- view
  authority control:
- export record
  dblp key:
  - journals/fuin/Koutny99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/Koutny99
Maciej Koutny:
Peter Lauer and COSY. 103-107
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/ArnoldPGR99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/ArnoldPGR99
André Arnold, Gérald Point, Alain Griffault, Antoine Rauzy:
The AltaRica Formalism for Describing Concurrent Systems. 109-124
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/BestL99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/BestL99
Eike Best, Alexander Lavrov:
Generalised Composition Operations for High-level Petri Nets. 125-163
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/BusiP99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/BusiP99
Nadia Busi, G. Michele Pinna:
Process Semantics for Place/Transition Nets with Inhibitor and Read Arcs. 165-197
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/DevillersG99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/DevillersG99
Raymond Devillers, Joël Goossens:
General Response Time Computation for the Deadline Driven Scheduling of Periodic Tasks. 199-219
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/Maggiolo-SchettiniT99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/Maggiolo-SchettiniT99
Andrea Maggiolo-Schettini, Simone Tini:
Applying Techniques of Asynchronous Concurrency to Synchronous Languages. 221-250
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/Pietkiewicz-Koutny99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/Pietkiewicz-Koutny99
Marta Pietkiewicz-Koutny:
The Synthesis Problem for Elementary Net Systems with Inhibitor Arcs. 251-283
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/Shields99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/Shields99
M. W. Shields:
An Acceptance Vector Semantics for Path Programs. 285-316

Volume 40, Number 4, December 1999

- view
  authority control:
- export record
  dblp key:
  - journals/fuin/CerroG99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/CerroG99
Luis Fariñas del Cerro, Olivier Gasquet:
Tableaux Based Decision Procedures for Modal Logics of Confluence and Density. 317-333
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/HartogVB99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/HartogVB99
Jerry den Hartog, Erik P. de Vink, J. W. de Bakker:
Full Abstractness of a Metric Semantics for Action Refinement. 335-382
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/NguyenN99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/NguyenN99
Hung Son Nguyen, Sinh Hoa Nguyen:
Rough Sets and Association Rule Generation. 383-405
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/OrdmanEA99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/OrdmanEA99
Edward T. Ordman, Eugene Eberbach, A. Anwar:
Generalized Mutual Exclusion with Semaphores Only. 407-422

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.