|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
9 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | BTL 2 and the expressive power of ECTL + |
Rabinovich, Alexander |
2006 |
204 | 7 |
p. 1023-1044 22 p. |
artikel |
|
| 2 | Determined theories and limit laws |
Baldwin, John T. |
2006 |
204 | 7 |
p. 1013-1022 10 p. |
artikel |
|
| 3 | Editorial Board (continued) |
2006 |
204 | 7 |
p. i- 1 p. |
artikel |
||
| 4 | Ensuring termination by typability |
Deng, Yuxin |
2006 |
204 | 7 |
p. 1045-1082 38 p. |
artikel |
|
| 5 | Inside Front Cover: Editorial Board |
2006 |
204 | 7 |
p. CO2- 1 p. |
artikel |
||
| 6 | On computing ord N (2) and its application |
Liu, Lihua |
2006 |
204 | 7 |
p. 1173-1178 6 p. |
artikel |
|
| 7 | On two DES implementations secure against differential power analysis in smart-cards |
Lv, Jiqiang |
2006 |
204 | 7 |
p. 1179-1193 15 p. |
artikel |
|
| 8 | Splitting bisimulations and retrospective conditions |
Bergstra, J.A. |
2006 |
204 | 7 |
p. 1083-1138 56 p. |
artikel |
|
| 9 | Terminal coalgebras and free iterative theories |
Adámek, Jiřı´ |
2006 |
204 | 7 |
p. 1139-1172 34 p. |
artikel |
9 gevonden resultaten