|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
20 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | An algorithm for type-checking dependent types |
Coquand, Thierry |
1996 |
26 | 1-3 |
p. 167-177 11 p. |
artikel |
|
| 2 | A relational calculus for program construction by parts |
Frappier, M. |
1996 |
26 | 1-3 |
p. 237-254 18 p. |
artikel |
|
| 3 | Arrays, bounded quantification and iteration in logic and constraint logic programming |
Apt, Krzysztof R. |
1996 |
26 | 1-3 |
p. 133-148 16 p. |
artikel |
|
| 4 | Author index of volume 26 (1996) |
1996 |
26 | 1-3 |
p. 273- 1 p. |
artikel |
||
| 5 | Deriving a class of layer-oriented graph algorithms |
Russling, Martin |
1996 |
26 | 1-3 |
p. 117-132 16 p. |
artikel |
|
| 6 | Editorial |
Sintzoff, Michel |
1996 |
26 | 1-3 |
p. 1-2 2 p. |
artikel |
|
| 7 | Editorial Board |
1996 |
26 | 1-3 |
p. ii- 1 p. |
artikel |
||
| 8 | Exceptions considered harmless |
Monin, Jean-François |
1996 |
26 | 1-3 |
p. 179-196 18 p. |
artikel |
|
| 9 | Functional algorithm design |
Bird, Richard S. |
1996 |
26 | 1-3 |
p. 15-31 17 p. |
artikel |
|
| 10 | I was a computer |
Turski, Wz.xl;ladysz.xl;law M. |
1996 |
26 | 1-3 |
p. 11-14 4 p. |
artikel |
|
| 11 | Leaf trees |
Kaldewaij, Anne |
1996 |
26 | 1-3 |
p. 149-165 17 p. |
artikel |
|
| 12 | Massive parallelization of divide-and-conquer algorithms over powerlists |
Achatz, Klaus |
1996 |
26 | 1-3 |
p. 59-78 20 p. |
artikel |
|
| 13 | Mathematics of program construction |
Backhouse, Roland |
1996 |
26 | 1-3 |
p. 5-9 5 p. |
artikel |
|
| 14 | Preface |
Möller, Bernhard |
1996 |
26 | 1-3 |
p. 3- 1 p. |
artikel |
|
| 15 | Proofs with graphs |
Curtis, Sharon |
1996 |
26 | 1-3 |
p. 197-216 20 p. |
artikel |
|
| 16 | Reductivity |
Doornbos, Henk |
1996 |
26 | 1-3 |
p. 217-236 20 p. |
artikel |
|
| 17 | Refinement principles supporting the transition from asynchronous to synchronous communication |
Stølen, Ketil |
1996 |
26 | 1-3 |
p. 255-272 18 p. |
artikel |
|
| 18 | Specifying the Caltech asynchronous microprocessor |
Back, R.J.R. |
1996 |
26 | 1-3 |
p. 79-97 19 p. |
artikel |
|
| 19 | Steps towards mechanizing program transformations using PVS |
Shankar, Natarajan |
1996 |
26 | 1-3 |
p. 33-57 25 p. |
artikel |
|
| 20 | Towards a design calculus for CSP |
Berghammer, Rudolf |
1996 |
26 | 1-3 |
p. 99-115 17 p. |
artikel |
20 gevonden resultaten