|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
6 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | Author index for volume 65 |
1985 |
65 | 2-3 |
p. 216- 1 p. |
article |
||
| 2 | Computing with rewrite systems |
Dershowitz, Nachum |
1985 |
65 | 2-3 |
p. 122-157 36 p. |
article |
|
| 3 | Definability by deterministic and non-deterministic programs (with applications to first-order dynamic logic) |
Kfoury, A.J. |
1985 |
65 | 2-3 |
p. 98-121 24 p. |
article |
|
| 4 | Logical relations and the typed λ-calculus |
Statman, R. |
1985 |
65 | 2-3 |
p. 85-97 13 p. |
article |
|
| 5 | Semantic confluence tests and completion methods |
Plaisted, David A. |
1985 |
65 | 2-3 |
p. 182-215 34 p. |
article |
|
| 6 | Sparse sets in NP-P: EXPTIME versus NEXPTIME |
Hartmanis, J. |
1985 |
65 | 2-3 |
p. 158-181 24 p. |
article |
6 results found