|
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 generalization of Naundorf's fixpoint theorem |
Hesselink, Wim H. |
2000 |
247 | 1-2 |
p. 291-296 6 p. |
artikel |
|
| 2 | Asynchronous cellular automata for pomsets |
Droste, Manfred |
2000 |
247 | 1-2 |
p. 1-38 38 p. |
artikel |
|
| 3 | Detecting equivalence of modular specifications with categorical diagrams |
Oriat, Catherine |
2000 |
247 | 1-2 |
p. 141-190 50 p. |
artikel |
|
| 4 | Domain representations of topological spaces |
Blanck, Jens |
2000 |
247 | 1-2 |
p. 229-255 27 p. |
artikel |
|
| 5 | Index |
2000 |
247 | 1-2 |
p. 299- 1 p. |
artikel |
||
| 6 | Interaction nets for linear logic |
Mackie, Ian |
2000 |
247 | 1-2 |
p. 83-140 58 p. |
artikel |
|
| 7 | On principal types of combinators |
Broda, Sabine |
2000 |
247 | 1-2 |
p. 277-290 14 p. |
artikel |
|
| 8 | On the total k -diameter of connection networks |
Dinitz, Yefim |
2000 |
247 | 1-2 |
p. 213-228 16 p. |
artikel |
|
| 9 | Parallel and serial hypercoherences |
Ehrhard, Thomas |
2000 |
247 | 1-2 |
p. 39-81 43 p. |
artikel |
|
| 10 | Semantic distance between specifications |
Mili, Rym |
2000 |
247 | 1-2 |
p. 257-276 20 p. |
artikel |
|
| 11 | Some first-order probability logics |
Ognjanovic, Zoran |
2000 |
247 | 1-2 |
p. 191-212 22 p. |
artikel |
11 gevonden resultaten