|
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 | Algebraic approaches |
Mosses, Peter D. |
1988 |
11 | 2 |
p. 175-176 2 p. |
artikel |
|
| 2 | Brains, machines and mathematics |
1988 |
11 | 2 |
p. 191-195 5 p. |
artikel |
||
| 3 | Concurrent program structures |
Stølen, Ketil |
1988 |
11 | 2 |
p. 195-196 2 p. |
artikel |
|
| 4 | Denotational semantics |
Brookes, Steve |
1988 |
11 | 2 |
p. 185-191 7 p. |
artikel |
|
| 5 | Detecting stack-based environments in denotational definitions |
Schmidt, David A. |
1988 |
11 | 2 |
p. 107-131 25 p. |
artikel |
|
| 6 | Developing a linear algorithm for cubing a cyclic permutation |
Xue, Jinyun |
1988 |
11 | 2 |
p. 161-165 5 p. |
artikel |
|
| 7 | Logic and computation—Interactive proof with Cambridge LCF |
Nipkow, Tobias |
1988 |
11 | 2 |
p. 178-180 3 p. |
artikel |
|
| 8 | Logic for computer science |
Martin, Ursula |
1988 |
11 | 2 |
p. 176-178 3 p. |
artikel |
|
| 9 | Refined compiliation of pattern-matching for functional languages |
Schnoebelen, Ph. |
1988 |
11 | 2 |
p. 133-159 27 p. |
artikel |
|
| 10 | Small programming exercises 22 |
Rem, M. |
1988 |
11 | 2 |
p. 167-173 7 p. |
artikel |
|
| 11 | Understanding Z—A specification language and its formal semantics |
Jones, Roger Bishop |
1988 |
11 | 2 |
p. 180-184 5 p. |
artikel |
11 gevonden resultaten