Logic
- BEAN, Dwight R., Effective Coloration
1973, Alfred B. Manaster (Chair)
- BLOCH, Stephen Austin, Divide and Conquer in Parallel Complexity and Proof Theory
1992, Samuel Buss (Chair)
- KIERSTEAD, Henry Andrew, On the Countable Models of wsub1-Categorical Theories in Admissible Languages
1979, Alfred B. Manaster (Chair)
- POLLETT, Christopher John, Arithmetic Theories with Prenex Normal Form Induction
1997, Samuel Buss (Chair)
- ROBINSON, David Hill, Parallel Algorithms for Group Word Problems
1993, Samuel Buss (Chair)
|