nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
A note on the Axioms of Restriction and Fundierung
|
Mendelson, Elliott |
|
1969 |
1 |
2 |
p. 217-220 4 p. |
artikel |
2 |
Automata-based computational complexity
|
Hartmanis, J. |
|
1969 |
1 |
2 |
p. 173-184 12 p. |
artikel |
3 |
Computational validity of approximate nonlinear minimal-variance filters
|
Schwartz, Lawrence |
|
1969 |
1 |
2 |
p. 185-187 3 p. |
artikel |
4 |
Dualizable quasi-strokes for M-state automata
|
Turquette, Atwell |
|
1969 |
1 |
2 |
p. 131-142 12 p. |
artikel |
5 |
On optimal smoothing of continuous time Kalman processes
|
Zachrisson, L.E. |
|
1969 |
1 |
2 |
p. 143-172 30 p. |
artikel |
6 |
Recognition of characters subject to spatially independent transformations
|
Gray Jr., K.B. |
|
1969 |
1 |
2 |
p. 111-118 8 p. |
artikel |
7 |
Some small, multitape universal Turing machines
|
Hooper, Philip K. |
|
1969 |
1 |
2 |
p. 205-215 11 p. |
artikel |
8 |
Strong representability of partial functions in arithmetic theories
|
Ritchie, Robert W. |
|
1969 |
1 |
2 |
p. 189-204 16 p. |
artikel |
9 |
The effectivity of existential statements in axiomatic set theory
|
Lévy, Azriel |
|
1969 |
1 |
2 |
p. 119-130 12 p. |
artikel |