|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
6 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Decidability of bounded second order unification |
Schmidt-Schauß, Manfred |
2004 |
188 | 2 |
p. 143-178 36 p. |
artikel |
|
| 2 | Editorial Board (continued) |
2004 |
188 | 2 |
p. i- 1 p. |
artikel |
||
| 3 | Inside Front Cover: Editorial Board |
2004 |
188 | 2 |
p. IFC- 1 p. |
artikel |
||
| 4 | On abstract interpretation of Mobile Ambients |
Levi, Francesca |
2004 |
188 | 2 |
p. 179-240 62 p. |
artikel |
|
| 5 | On the call-by-value CPS transform and its semantics |
Führmann, Carsten |
2004 |
188 | 2 |
p. 241-283 43 p. |
artikel |
|
| 6 | Volume Author Index |
2004 |
188 | 2 |
p. 284- 1 p. |
artikel |
6 gevonden resultaten