Christine Ann Haught

Publication Activity (10 Years)

Years Active: 1986-1997
Publications (10 Years): 0

Publications

Christine Ann Haught, Theodore A. Slaman
Automorphisms in the PTIME-Turing Degrees of Recursive Sets. Ann. Pure Appl. Log. 84 (1) (1997)
Rodney G. Downey, Christine Ann Haught
Embedding Lattices into the wtt-Degrees below 0'. J. Symb. Log. 59 (4) (1994)
Christine Ann Haught, Richard A. Shore
Undecidability and Initial Segments of the R.E. tt-Degrees. J. Symb. Log. 55 (3) (1990)
Christine Ann Haught
The Degrees Below A 1-Generic Degree < 0? J. Symb. Log. 51 (3) (1986)