|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
10 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Abduction from logic programs: Semantics and complexity |
Eiter, Thomas |
1997 |
189 | 1-2 |
p. 129-177 49 p. |
artikel |
|
| 2 | A process algebra of communicating shared resources with dense time and priorities |
Brémond-Grégoire, Patrice |
1997 |
189 | 1-2 |
p. 179-219 41 p. |
artikel |
|
| 3 | Author index volume 189 |
1997 |
189 | 1-2 |
p. 249- 1 p. |
artikel |
||
| 4 | cβ-machine with λβ-reduction |
Mezghiche, Mohamed |
1997 |
189 | 1-2 |
p. 221-228 8 p. |
artikel |
|
| 5 | Editorial Board |
1997 |
189 | 1-2 |
p. v-viii nvt p. |
artikel |
||
| 6 | Fairness and control in multi-agent systems |
Burkhard, Hans-Dieter |
1997 |
189 | 1-2 |
p. 109-127 19 p. |
artikel |
|
| 7 | Fixed point characterization of infinite behavior of finite-state systems |
Niwiński, Damian |
1997 |
189 | 1-2 |
p. 1-69 69 p. |
artikel |
|
| 8 | Formal validation of data-parallel programs: a two-component assertional proof system for a simple language |
Bougé, Luc |
1997 |
189 | 1-2 |
p. 71-107 37 p. |
artikel |
|
| 9 | On the complexity of specification morphisms |
Cicerone, Serafino |
1997 |
189 | 1-2 |
p. 239-248 10 p. |
artikel |
|
| 10 | On the rational behaviors of concurrent timers |
Bergeron, Anne |
1997 |
189 | 1-2 |
p. 229-237 9 p. |
artikel |
10 gevonden resultaten