Fred G. Abramson

According to our database, Fred G. Abramson authored at least 6 papers between 1971 and 1981.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

1981

Locally Countable Models of sigma₁-Separation.

Fred G. Abramson

J. Symb. Log., 1981

1980

Complex Properties of Grammars.

Fred G. Abramson, Yuri Breitbart, Forbes D. Lewis

J. ACM, 1980

1979

sigma₁-Separation.

Fred G. Abramson

J. Symb. Log., 1979

1978

Interpolation Theorems for Program Schemata

Fred G. Abramson

Inf. Control., February, 1978

Models Without Indiscernibles.

Fred G. Abramson, Leo Harrington

J. Symb. Log., 1978

1971

Effective Computation over the Real Numbers

Fred G. Abramson

Proceedings of the 12th Annual Symposium on Switching and Automata Theory, 1971