![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Acta 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
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.