Louise Hay

Publication Activity (10 Years)

Years Active: 1969-1991
Publications (10 Years): 0

Publications

Samuel R. Buss, Louise Hay
On Truth-Table Reducibility to SAT Inf. Comput. 91 (1) (1991)
Richard Beigel, William I. Gasarch, Louise Hay
Bounded query classes and the difference hierarchy. Arch. Math. Log. 29 (2) (1989)
Samuel R. Buss, Louise Hay
On truth-table reducibility to SAT and the difference hierarchy over NP. Computational Complexity Conference (1988)
Andreas Blass, Louise Hay, Peter G. Hinman
Meeting of the Association for Symbolic Logic: Chicago, 1985. J. Symb. Log. 51 (2) (1986)
Louise Hay, Douglas Miller
A Topological Analog to the Rice-Shapiro Index Theorem. J. Symb. Log. 47 (4) (1982)
Louise Hay
On the Recursion-Theoretic Complexity of Relative Succinctness of Representations of Languages Inf. Control. 52 (1) (1982)
Louise Hay, Richard Larson
ZLISP: A lisp for a Micro-computer. COMPSAC (1979)
Louise Hay, Nancy Johnson
Extensional Characterization of Index Sets. Math. Log. Q. 25 (13-18) (1979)
Louise Hay
and bounded truth-table reducibility. Discret. Math. 21 (1) (1978)
Louise Hay
Boolean Combinations of R.E. Open Sets. J. Symb. Log. 41 (1) (1976)
Louise Hay
Spectra and halting problems. Math. Log. Q. 21 (1) (1975)
Louise Hay
A Noninitial Segment of Index Sets. J. Symb. Log. 39 (2) (1974)
Louise Hay
A Discrete Chain of Degrees of Index Sets. J. Symb. Log. 37 (1) (1972)
Louise Hay
A Note on Frame Extensions. J. Symb. Log. 37 (3) (1972)
Louise Hay
Index Sets of Finite Classes of Recursively Enumerable Sets. J. Symb. Log. 34 (1) (1969)