|
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 global representation of the recursive functions in the λ-calculus |
Barendregt, Henk |
1976 |
3 | 2 |
p. 225-242 18 p. |
artikel |
|
| 2 | Analyse und synthese von asynchronen nd-automaten |
Starke, Peter H. |
1976 |
3 | 2 |
p. 261-266 6 p. |
artikel |
|
| 3 | An elementary proof for strassen's degree bound |
Schönhage, Arnold |
1976 |
3 | 2 |
p. 267-272 6 p. |
artikel |
|
| 4 | Finiteness is mu-ineffable |
Park, David |
1976 |
3 | 2 |
p. 173-181 9 p. |
artikel |
|
| 5 | Information storage and retrieval — mathematical foundations II (combinatorial problems) |
Lipski Jr., Witold |
1976 |
3 | 2 |
p. 183-211 29 p. |
artikel |
|
| 6 | Mechanizing ω-order type theory through unification |
Jensen, D.C. |
1976 |
3 | 2 |
p. 123-171 49 p. |
artikel |
|
| 7 | On tape bounds for single letter alphabet language processing |
Hartmanis, J. |
1976 |
3 | 2 |
p. 213-224 12 p. |
artikel |
|
| 8 | Sur les relations rationnelles entre monoides libres |
Schützenberger, M.P. |
1976 |
3 | 2 |
p. 243-259 17 p. |
artikel |
8 gevonden resultaten