Fundamenta Informaticae, Volume 40

Volume 40, Number 1, October-November 1999

Andris Ambainis, Rusins Freivalds, Carl H. Smith:
Inductive Inference with Procrastination: Back to Definitions. 1-16
Patrick Doherty, J. Kachniarz, Andrzej Szalas:
Meta-Queries on Deductive Databases. 7-30
C. A. Johnson:
Processing Deductive Databases under the Disjunctive Stable Model Semantics. 31-51
Viorel Preoteasa:
A Relation Between Unambiguous Regular Expressions and Abstract Data Types. 53-77
Kaile Su, Wei Li:
Computation of Extensions of Seminormal Default Theories. 79-102

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

Luis Fariñas del Cerro, Olivier Gasquet:
Tableaux Based Decision Procedures for Modal Logics of Confluence and Density. 317-333
Jerry den Hartog, Erik P. de Vink, J. W. de Bakker:
Full Abstractness of a Metric Semantics for Action Refinement. 335-382
Hung Son Nguyen, Sinh Hoa Nguyen:
Rough Sets and Association Rule Generation. 383-405
Edward T. Ordman, Eugene Eberbach, A. Anwar:
Generalized Mutual Exclusion with Semaphores Only. 407-422

Last update Tue Feb 14 04:18:00 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page