dblp.uni-trier.dewww.uni-trier.de

Louise Hay

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1991
9 Samuel R. Buss, Louise Hay: On Truth-Table Reducibility to SAT Inf. Comput. 91(1): 86-102 (1991)
1986
8 Andreas Blass, Louise Hay, Peter G. Hinman: Meeting of the Association for Symbolic Logic: Chicago, 1985. J. Symb. Log. 51(2): 507-510 (1986)
1982
7 Louise Hay: On the Recursion-Theoretic Complexity of Relative Succinctness of Representations of Languages Information and Control 52(1): 2-7 (1982)
6 Louise Hay, Douglas Miller: A Topological Analog to the Rice-Shapiro Index Theorem. J. Symb. Log. 47(4): 824-832 (1982)
1976
5 Louise Hay: Boolean Combinations of R.E. Open Sets. J. Symb. Log. 41(1): 235-238 (1976)
1974
4 Louise Hay: A Noninitial Segment of Index Sets. J. Symb. Log. 39(2): 209-224 (1974)
1972
3 Louise Hay: A Discrete Chain of Degrees of Index Sets. J. Symb. Log. 37(1): 139-149 (1972)
2 Louise Hay: A Note on Frame Extensions. J. Symb. Log. 37(3): 543-545 (1972)
1969
1 Louise Hay: Index Sets of Finite Classes of Recursively Enumerable Sets. J. Symb. Log. 34(1): 39-44 (1969)

Coauthor Index

1Andreas Blass [8]
2Samuel R. Buss [9]
3Peter G. Hinman [8]
4Douglas Miller [6]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)