|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
7 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A complete proof of correctness of the Knuth-Bendix completion algorithm |
Huet, Gérard |
1981 |
23 | 1 |
p. 11-21 11 p. |
artikel |
|
| 2 | Completeness of context-free grammar forms |
Maurer, H.A. |
1981 |
23 | 1 |
p. 1-10 10 p. |
artikel |
|
| 3 | Corrigendum |
Tompa, Martin |
1981 |
23 | 1 |
p. 106- 1 p. |
artikel |
|
| 4 | On correct refinement of programs |
Back, R.J.R. |
1981 |
23 | 1 |
p. 49-68 20 p. |
artikel |
|
| 5 | On maximal order for local and global numerical problems |
Werschulz, Arthur G. |
1981 |
23 | 1 |
p. 38-48 11 p. |
artikel |
|
| 6 | Recursion-closed algebraic theories |
Gallier, Jean H. |
1981 |
23 | 1 |
p. 69-105 37 p. |
artikel |
|
| 7 | Synchronous to asynchronous transformation of polyautomata |
Nakamura, Katsuhiko |
1981 |
23 | 1 |
p. 22-37 16 p. |
artikel |
7 gevonden resultaten