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 BibTeX
Patrick Doherty, J. Kachniarz, Andrzej Szalas: Meta-Queries on Deductive Databases. 7-30 BibTeX
C. A. Johnson: Processing Deductive Databases under the Disjunctive Stable Model Semantics. 31-51 BibTeX
Viorel Preoteasa: A Relation Between Unambiguous Regular Expressions and Abstract Data Types. 53-77 BibTeX
Kaile Su, Wei Li: Computation of Extensions of Seminormal Default Theories. 79-102 BibTeX

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

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