|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
8 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | Announcement |
1971 |
5 | 3 |
p. 335- 1 p. |
article |
||
| 2 | Data graphs and addressing schemes |
Rosenberg, Arnold L. |
1971 |
5 | 3 |
p. 193-238 46 p. |
article |
|
| 3 | Mathematical theory of partial correctness |
Manna, Zohar |
1971 |
5 | 3 |
p. 239-253 15 p. |
article |
|
| 4 | Special SIGACT issue |
Karp, Richard M. |
1971 |
5 | 3 |
p. i+(1*)- 1 p. |
article |
|
| 5 | Subrecursive programming languages II on program size |
Constable, Robert L. |
1971 |
5 | 3 |
p. 315-334 20 p. |
article |
|
| 6 | The enumerability and invariance of complexity classes |
Lewis, F.D. |
1971 |
5 | 3 |
p. 286-303 18 p. |
article |
|
| 7 | Three theorems concerning principal AFLs |
Ullian, J.S. |
1971 |
5 | 3 |
p. 304-314 11 p. |
article |
|
| 8 | Translating recursion equations into flow charts |
Strong Jr., H.R. |
1971 |
5 | 3 |
p. 254-285 32 p. |
article |
8 results found