|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
12 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Analysis of a randomized rendezvous algorithm |
Métivier, Yves |
2003 |
184 | 1 |
p. 109-128 20 p. |
artikel |
|
| 2 | Approximating labelled Markov processes |
Desharnais, Josée |
2003 |
184 | 1 |
p. 160-200 41 p. |
artikel |
|
| 3 | A semantic theory for value-passing processes based on the late approach |
Ingólfsdóttir, Anna |
2003 |
184 | 1 |
p. 1-44 44 p. |
artikel |
|
| 4 | Bisimulation congruence of chi calculus |
Fu, Yuxi |
2003 |
184 | 1 |
p. 201-226 26 p. |
artikel |
|
| 5 | Counting on CTL*: on the expressive power of monadic path logic |
Moller, Faron |
2003 |
184 | 1 |
p. 147-159 13 p. |
artikel |
|
| 6 | Editorial Board |
2003 |
184 | 1 |
p. i- 1 p. |
artikel |
||
| 7 | Editorial Board |
2003 |
184 | 1 |
p. IFC- 1 p. |
artikel |
||
| 8 | Erratum to “The small model property: how small can it be?” [Inform. Comput. 178 (2002) 279–293] |
Pnueli, Amir |
2003 |
184 | 1 |
p. 227- 1 p. |
artikel |
|
| 9 | Logarithm cartesian authentication codes |
Sze, T.W. |
2003 |
184 | 1 |
p. 93-108 16 p. |
artikel |
|
| 10 | On the intrinsic complexity of learning recursive functions |
Jain, Sanjay |
2003 |
184 | 1 |
p. 45-70 26 p. |
artikel |
|
| 11 | Optimal proof systems imply complete sets for promise classes |
Köbler, Johannes |
2003 |
184 | 1 |
p. 71-92 22 p. |
artikel |
|
| 12 | The Lazy Bureaucrat scheduling problem |
Arkin, Esther M. |
2003 |
184 | 1 |
p. 129-146 18 p. |
artikel |
12 gevonden resultaten