Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Louise Hay

Louise Schmir Hay

> Home > Persons

Person information

affiliation: University of Illinois at Chicago, Department of Mathematics, USA

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

1991
[j14]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/BussH91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/BussH91
Samuel R. Buss, Louise Hay:
On Truth-Table Reducibility to SAT. Inf. Comput. 91(1): 86-102 (1991)
1989
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/aml/BeigelGH89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aml/BeigelGH89
Richard Beigel, William I. Gasarch, Louise Hay:
Bounded query classes and the difference hierarchy. Arch. Math. Log. 29(2): 69-84 (1989)
1986
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/jsyml/BlassHH86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsyml/BlassHH86
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
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/iandc/Hay82
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/Hay82
Louise Hay:
On the Recursion-Theoretic Complexity of Relative Succinctness of Representations of Languages. Inf. Control. 52(1): 2-7 (1982)
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/jsyml/HayM82
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsyml/HayM82
Louise Hay, Douglas Miller:
A Topological Analog to the Rice-Shapiro Index Theorem. J. Symb. Log. 47(4): 824-832 (1982)
1979
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/mlq/HayJ79
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mlq/HayJ79
Louise Hay, Nancy Johnson:
Extensional Characterization of Index Sets. Math. Log. Q. 25(13-18): 227-234 (1979)
1978
[j8]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/dm/Hay78
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dm/Hay78
Louise Hay:
Convex subsets of 2ⁿ and bounded truth-table reducibility. Discret. Math. 21(1): 31-46 (1978)
1976
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/jsyml/Hay76
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsyml/Hay76
Louise Hay:
Boolean Combinations of R.E. Open Sets. J. Symb. Log. 41(1): 235-238 (1976)
1975
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/mlq/Hay75
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mlq/Hay75
Louise Hay:
Spectra and halting problems. Math. Log. Q. 21(1): 167-176 (1975)
1974
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/jsyml/Hay74
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsyml/Hay74
Louise Hay:
A Noninitial Segment of Index Sets. J. Symb. Log. 39(2): 209-224 (1974)
1972
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/jsyml/Hay72
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsyml/Hay72
Louise Hay:
A Discrete Chain of Degrees of Index Sets. J. Symb. Log. 37(1): 139-149 (1972)
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/jsyml/Hay72a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsyml/Hay72a
Louise Hay:
A Note on Frame Extensions. J. Symb. Log. 37(3): 543-545 (1972)
1969
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/jsyml/Hay69
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsyml/Hay69
Louise Hay:
Index Sets of Finite Classes of Recursively Enumerable Sets. J. Symb. Log. 34(1): 39-44 (1969)
1963
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/jsyml/Hay63
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsyml/Hay63
Louise Schmir Hay:
Axiomatization of the Infinite-Valued Predicate Calculus. J. Symb. Log. 28(1): 77-86 (1963)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

1988
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/coco/BussH88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coco/BussH88
Samuel R. Buss, Louise Hay:
On truth-table reducibility to SAT and the difference hierarchy over NP. SCT 1988: 224-233
1979
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/HayL79
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/HayL79
Louise Hay, Richard Larson:
ZLISP: A lisp for a Micro-computer. COMPSAC 1979: 629-630

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.