default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDActa Informatica, Volume 39
Volume 39, Number 1, 2003
- Stéphane Coulondre:
A top-down proof procedure for generalized data dependencies. 1-29 - Giuseppe Della Penna
, Benedetto Intrigila, Enrico Tronci, Marisa Venturini Zilli:
Synchronized regular expressions. 31-70
Volume 39, Number 2, 2003
- Alfredo Burrieza, Inman P. de Guzmán:
A functional approach for temporal × modal logics. 71-96 - Leah Epstein:
Bin stretching revisited. 97-117 - Ján Gaso, Martin Nehéz:
Stochastic cooperative distributed grammar systems and random graphs. 119-140
Volume 39, Number 3, March 2003
- Friedrich L. Bauer, Manfred Broy:
Edsger W. Dijkstra - Acta Informatica and Marktoberdorf. 141-142 - Bartek Kiepuszewski, Arthur H. M. ter Hofstede, Wil M. P. van der Aalst:
Fundamentals of control flow in workflows. 143-209 - Wim H. Hesselink:
Preference rankings in the face of uncertainty. 211-231
Volume 39, Number 4, April 2003
- Axel Wabenhorst:
Stepwise development of fair distributed systems. 233-271 - Wolfgang Reisig:
On Gurevich's theorem on sequential algorithms. 273-305
Volume 39, Number 5, May 2003
- Alexander Meduna:
Coincidental extension of scattered context languages. 307-314 - Mingsheng Ying:
Reasoning about probabilistic sequential programs in a probabilistic logic. 315-389
Volume 39, Numbers 6-7, June 2003
- Joachim Biskup, Torsten Polle:
Adding inclusion dependencies to an object-oriented data model with uniqueness constraints. 391-449 - James D. Currie, Erica Moodie:
A word on 7 letters which is non-repetitive up to mod 5. 451-468 - Jirí Srba:
Strong bisimilarity of simple process algebras: complexity lower bounds. 469-499 - Wan J. Fokkink, Thuy Duong Vu:
Structural operational semantics and bounded nondeterminism. 501-516 - Juan Castellanos, Carlos Martín-Vide, Victor Mitrana, José M. Sempere:
Networks of evolutionary processors. 517-529
Volume 39, Number 8, July 2003
- Mila E. Majster-Cederbaum, Jinzhao Wu:
Towards action refinement for true concurrent real time. 531-577 - Pedro V. Silva:
A note on pure and p-pure languages. 579-595 - Edward G. Coffman Jr., Jay Sethuraman, Vadim G. Timkovsky:
Ideal preemptive schedules on two processors. 597-612
Volume 39, Number 9, August 2003
- Joost Engelfriet, Sebastian Maneth:
A comparison of pebble tree transducers with macro tree transducers. 613-698 - Alexander Meduna:
Erratum: Coincidental extension of scattered context languages. 699
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-11-08 20:36 CET 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:
