|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
11 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A game theoretic approach to robust filtering |
Papantoni-Kazakos, P. |
1984 |
60 | 1-3 |
p. 168-191 24 p. |
artikel |
|
| 2 | A semantic approach to program modularity |
Back, R.J.R. |
1984 |
60 | 1-3 |
p. 138-167 30 p. |
artikel |
|
| 3 | A synchronization logic: Axiomatics and formal semantics of generalized horn clauses |
Falaschi, M. |
1984 |
60 | 1-3 |
p. 36-69 34 p. |
artikel |
|
| 4 | Author index for volume 60 |
1984 |
60 | 1-3 |
p. 192- 1 p. |
artikel |
||
| 5 | Editorial Board |
1984 |
60 | 1-3 |
p. i- 1 p. |
artikel |
||
| 6 | On static logics, dynamic logics, and complexity classes |
Harel, D. |
1984 |
60 | 1-3 |
p. 86-102 17 p. |
artikel |
|
| 7 | On the complexity of concurrency control by locking in distributed database systems |
Soisalon-Soininen, Eljas |
1984 |
60 | 1-3 |
p. 103-108 6 p. |
artikel |
|
| 8 | Process algebra for synchronous communication |
Bergstra, J.A. |
1984 |
60 | 1-3 |
p. 109-137 29 p. |
artikel |
|
| 9 | The complexity of sorting on distributed systems |
Loui, Michael C. |
1984 |
60 | 1-3 |
p. 70-85 16 p. |
artikel |
|
| 10 | Two nonlinear lower bounds for on-line computations |
Dūrī, Pavol |
1984 |
60 | 1-3 |
p. 1-11 11 p. |
artikel |
|
| 11 | Unbounded program memory adds to the expressive power of first-order programming logic |
Tiuryn, Jerzy |
1984 |
60 | 1-3 |
p. 12-35 24 p. |
artikel |
11 gevonden resultaten