Louise Hay

15 papers B 1Journal 13Unranked 1
YearRankTypeTitle / Venue / Authors
1991 J jnl
On Truth-Table Reducibility to SAT
Inf. Comput.
Samuel R. Buss, Louise Hay
1989 J jnl
Bounded query classes and the difference hierarchy.
Arch. Math. Log.
Richard Beigel, William I. Gasarch, Louise Hay
1988 — conf
On truth-table reducibility to SAT and the difference hierarchy over NP.
SCT
Samuel R. Buss, Louise Hay
1986 J jnl
Meeting of the Association for Symbolic Logic: Chicago, 1985.
J. Symb. Log.
Andreas Blass, Louise Hay, Peter G. Hinman
1982 J jnl
A Topological Analog to the Rice-Shapiro Index Theorem.
J. Symb. Log.
Louise Hay, Douglas Miller
1982 J jnl
On the Recursion-Theoretic Complexity of Relative Succinctness of Representations of Languages
Inf. Control.
Louise Hay
1979 J jnl
Extensional Characterization of Index Sets.
Math. Log. Q.
Louise Hay, Nancy Johnson
1979 B conf
ZLISP: A lisp for a Micro-computer.
COMPSAC
Louise Hay, Richard Larson
1978 J jnl
Convex subsets of 2
Discret. Math.
Louise Hay
1976 J jnl
Boolean Combinations of R.E. Open Sets.
J. Symb. Log.
Louise Hay
1975 J jnl
Spectra and halting problems.
Math. Log. Q.
Louise Hay
1974 J jnl
A Noninitial Segment of Index Sets.
J. Symb. Log.
Louise Hay
1972 J jnl
A Discrete Chain of Degrees of Index Sets.
J. Symb. Log.
Louise Hay
1972 J jnl
A Note on Frame Extensions.
J. Symb. Log.
Louise Hay
1969 J jnl
Index Sets of Finite Classes of Recursively Enumerable Sets.
J. Symb. Log.
Louise Hay