|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
8 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A framework for the verification of infinite-state graph transformation systems |
Baldan, Paolo |
2008 |
206 | 7 |
p. 869-907 39 p. |
artikel |
|
| 2 | Compositional verification of sequential programs with procedures |
Gurov, Dilian |
2008 |
206 | 7 |
p. 840-868 29 p. |
artikel |
|
| 3 | Computational complexity of sentences over fields |
Tung, Shih Ping |
2008 |
206 | 7 |
p. 791-805 15 p. |
artikel |
|
| 4 | Editorial Board (continued) |
2008 |
206 | 7 |
p. i- 1 p. |
artikel |
||
| 5 | Finding the conditional location of a median path on a tree |
Wang, Biing-Feng |
2008 |
206 | 7 |
p. 828-839 12 p. |
artikel |
|
| 6 | Inapproximability of the Tutte polynomial |
Goldberg, Leslie Ann |
2008 |
206 | 7 |
p. 908-929 22 p. |
artikel |
|
| 7 | Inside Front Cover: Editorial Board |
2008 |
206 | 7 |
p. IFC- 1 p. |
artikel |
||
| 8 | Typechecking top-down XML transformations: Fixed input or output schemas |
Martens, Wim |
2008 |
206 | 7 |
p. 806-827 22 p. |
artikel |
8 gevonden resultaten