1981 |
6 | | Fred G. Abramson:
Locally Countable Models of sigma1-Separation.
J. Symb. Log. 46(1): 96-100 (1981) |
1980 |
5 | EE | Fred G. Abramson,
Yuri Breitbart,
Forbes D. Lewis:
Complex Properties of Grammars.
J. ACM 27(3): 484-498 (1980) |
1979 |
4 | | Fred G. Abramson:
sigma1-Separation.
J. Symb. Log. 44(3): 374-382 (1979) |
1978 |
3 | | Fred G. Abramson:
Interpolation Theorems for Program Schemata
Information and Control 36(2): 217-233 (1978) |
2 | | Fred G. Abramson,
Leo Harrington:
Models Without Indiscernibles.
J. Symb. Log. 43(3): 572-600 (1978) |
1971 |
1 | | Fred G. Abramson:
Effective Computation over the Real Numbers
FOCS 1971: 33-37 |