Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFundamenta 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, Jaroslaw 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
Volume 40, Numbers 2-3, November-December 1999
- 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
Volume 40, Number 4, December 1999
- 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
a service of 
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.
last updated on 2024-04-25 05:28 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
