researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
External Links
Journal: Fundamenta Informaticae
Home
Index
Info
Volume
Volume
40
, Issue
4
317
--
333
Luis Fariñas del Cerro
,
Olivier Gasquet
.
Tableaux Based Decision Procedures for Modal Logics of Confluence and Density
335
--
382
Jerry den Hartog
,
Erik P. de Vink
,
J. W. de Bakker
.
Full Abstractness of a Metric Semantics for Action Refinement
383
--
405
Hung Son Nguyen
,
Sinh Hoa Nguyen
.
Rough Sets and Association Rule Generation
407
--
422
Edward T. Ordman
,
Eugene Eberbach
,
A. Anwar
.
Generalized Mutual Exclusion with Semaphores Only
Volume
40
, Issue
2-3
103
--
107
Maciej Koutny
.
Peter Lauer and COSY
109
--
124
André Arnold
,
Gérald Point
,
Alain Griffault
,
Antoine Rauzy
.
The AltaRica Formalism for Describing Concurrent Systems
125
--
163
Eike Best
,
Alexander Lavrov
.
Generalised Composition Operations for High-level Petri Nets
165
--
197
Nadia Busi
,
G. Michele Pinna
.
Process Semantics for Place/Transition Nets with Inhibitor and Read Arcs
199
--
219
Raymond R. Devillers
,
Joël Goossens
.
General Response Time Computation for the Deadline Driven Scheduling of Periodic Tasks
221
--
250
Andrea Maggiolo-Schettini
,
Simone Tini
.
Applying Techniques of Asynchronous Concurrency to Synchronous Languages
251
--
283
Marta Pietkiewicz-Koutny
.
The Synthesis Problem for Elementary Net Systems with Inhibitor Arcs
285
--
316
M. W. Shields
.
An Acceptance Vector Semantics for Path Programs
Volume
40
, Issue
1
1
--
16
Andris Ambainis
,
Rusins Freivalds
,
Carl H. Smith
.
Inductive Inference with Procrastination: Back to Definitions
7
--
30
Patrick Doherty
,
J. Kachniarz
,
Andrzej Szalas
.
Meta-Queries on Deductive Databases
31
--
51
C. A. Johnson
.
Processing Deductive Databases under the Disjunctive Stable Model Semantics
53
--
77
Viorel Preoteasa
.
A Relation Between Unambiguous Regular Expressions and Abstract Data Types
79
--
102
Kaile Su
,
Wei Li
.
Computation of Extensions of Seminormal Default Theories