×

Hay, Louise (b. 1935 d. 1989)

Author ID: hay.louise Recent zbMATH articles by "Hay, Louise"
Published as: Hay, Louise; Hay, L.; Hay, L. S.
External Links: Women in Mathematics · MacTutor · MGP · Wikidata · dblp · IdRef
Documents Indexed: 30 Publications since 1964
Biographic References: 1 Publication
Co-Authors: 8 Co-Authors with 9 Joint Publications
245 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

24 Publications have been cited 122 times in 101 Documents Cited by Year
On truth-table reducibility to SAT. Zbl 0800.68443
Buss, Samuel R.; Hay, Louise
34
1991
Axiomatization of the infinite-valued predicate calculus. Zbl 0127.00703
Hay, L. S.
15
1964
Bounded query classes and the difference hierarchy. Zbl 0663.03032
Beigel, Richard; Gasarch, William I.; Hay, Louise
7
1989
Index set of finite classes of recursively enumerable sets. Zbl 0193.31003
Hay, L.
7
1969
Enumeration and construction of pandiagonal Latin squares of prime order. Zbl 0528.05007
Atkin, A. O. L.; Hay, L.; Larson, R. G.
6
1983
Rice theorems for d.r.e. sets. Zbl 0309.02040
Hay, Louise
6
1975
A discrete chain of degrees of index sets. Zbl 0256.02019
Hay, Louise
5
1972
The class of recursively enumerable subsets of a recursively enumerabl e set. Zbl 0257.02032
Hay, Louise
4
1973
A noninitial segment of index sets. Zbl 0292.02037
Hay, Louise
4
1974
Construction of Knut Vik designs. Zbl 0386.05015
Atkin, A. O. L.; Hay, L.; Larson, R. G.
4
1977
On the recursion-theoretic complexity of relative succinctness of representations of languages. Zbl 0512.03020
Hay, Louise
3
1982
A topological analog to the Rice-Shapiro index theorem. Zbl 0518.03015
Hay, Louise; Miller, Douglas
3
1982
Index sets in 0’. Zbl 0288.02023
Hay, L.
3
1973
Small recursive ordinals, many-one degrees, and the arithmetical difference hierarchy. Zbl 0309.02050
Hay, Louise; Manaster, Alfred B.; Rosenstein, Joseph G.
3
1975
Index sets universal for differences of arithmetic sets. Zbl 0311.02052
Hay, Louise
3
1974
Convex subsets of \(2^n\) and bounded truth-table reducibility. Zbl 0377.02036
Hay, Louise
3
1978
The co-simple isols. Zbl 0189.28901
Hay, Louise
2
1966
The halting problem relativized to complements. Zbl 0248.02044
Hay, Louise
2
1973
Discrete \(\omega\)-sequences of index sets. Zbl 0285.02037
Hay, Louise
2
1973
Extensional characterization of index sets. Zbl 0433.03022
Hay, Louise; Johnson, Nancy
2
1979
Isomorphism types of index sets of partial recursive functions. Zbl 0163.25201
Hay, L.
1
1966
On creative sets and indices of partial recursive functions. Zbl 0163.25202
Hay, L.
1
1965
Spectra and halting problems. Zbl 0309.02049
Hay, Louise
1
1975
Concerning partial recursive similarity transformations of linearly ordered sets. Zbl 0409.03027
Hay, Louise; Manaster, Alfred B.; Rosenstein, Joseph G.
1
1977
On truth-table reducibility to SAT. Zbl 0800.68443
Buss, Samuel R.; Hay, Louise
34
1991
Bounded query classes and the difference hierarchy. Zbl 0663.03032
Beigel, Richard; Gasarch, William I.; Hay, Louise
7
1989
Enumeration and construction of pandiagonal Latin squares of prime order. Zbl 0528.05007
Atkin, A. O. L.; Hay, L.; Larson, R. G.
6
1983
On the recursion-theoretic complexity of relative succinctness of representations of languages. Zbl 0512.03020
Hay, Louise
3
1982
A topological analog to the Rice-Shapiro index theorem. Zbl 0518.03015
Hay, Louise; Miller, Douglas
3
1982
Extensional characterization of index sets. Zbl 0433.03022
Hay, Louise; Johnson, Nancy
2
1979
Convex subsets of \(2^n\) and bounded truth-table reducibility. Zbl 0377.02036
Hay, Louise
3
1978
Construction of Knut Vik designs. Zbl 0386.05015
Atkin, A. O. L.; Hay, L.; Larson, R. G.
4
1977
Concerning partial recursive similarity transformations of linearly ordered sets. Zbl 0409.03027
Hay, Louise; Manaster, Alfred B.; Rosenstein, Joseph G.
1
1977
Rice theorems for d.r.e. sets. Zbl 0309.02040
Hay, Louise
6
1975
Small recursive ordinals, many-one degrees, and the arithmetical difference hierarchy. Zbl 0309.02050
Hay, Louise; Manaster, Alfred B.; Rosenstein, Joseph G.
3
1975
Spectra and halting problems. Zbl 0309.02049
Hay, Louise
1
1975
A noninitial segment of index sets. Zbl 0292.02037
Hay, Louise
4
1974
Index sets universal for differences of arithmetic sets. Zbl 0311.02052
Hay, Louise
3
1974
The class of recursively enumerable subsets of a recursively enumerabl e set. Zbl 0257.02032
Hay, Louise
4
1973
Index sets in 0’. Zbl 0288.02023
Hay, L.
3
1973
The halting problem relativized to complements. Zbl 0248.02044
Hay, Louise
2
1973
Discrete \(\omega\)-sequences of index sets. Zbl 0285.02037
Hay, Louise
2
1973
A discrete chain of degrees of index sets. Zbl 0256.02019
Hay, Louise
5
1972
Index set of finite classes of recursively enumerable sets. Zbl 0193.31003
Hay, L.
7
1969
The co-simple isols. Zbl 0189.28901
Hay, Louise
2
1966
Isomorphism types of index sets of partial recursive functions. Zbl 0163.25201
Hay, L.
1
1966
On creative sets and indices of partial recursive functions. Zbl 0163.25202
Hay, L.
1
1965
Axiomatization of the infinite-valued predicate calculus. Zbl 0127.00703
Hay, L. S.
15
1964
all top 5

Cited by 133 Authors

8 Beigel, Richard
8 Hay, Louise
6 Gasarch, William Ian
5 Mundici, Daniele
5 Selivanov, Viktor L’vovich
4 Eiter, Thomas
3 Dabbaghian, Vahid
3 Lukasiewicz, Thomas
3 Wu, Tiankuang
2 Busaniche, Manuela
2 Case, John
2 Castro, Jorge
2 Gispert, Joan
2 Haniková, Zuzana
2 Köbler, Johannes
2 Lang, Jérôme
2 Modanese, Augusto
2 Regan, Kenneth W.
2 Seara, Carlos
2 Soare, Robert I.
1 Agliano, Paolo
1 Ajtai, Miklós
1 Allender, Eric W.
1 Arslanov, Marat M.
1 Arthan, Rob D.
1 Arvind, Vikraman
1 Askarbekkyzy, A.
1 Atkin, Arthur Oliver Lonsdale
1 Bauland, Michael
1 Bazhenov, Nikolaĭ Alekseevich
1 Bell, Jordan
1 Bellhouse, David Richard
1 Bergman, Clifford
1 Bloch, Stephen A.
1 Boyer, Christian
1 Bozzelli, Laura
1 Brandt, Ulrike
1 Buhrman, Harry
1 Buss, Samuel R.
1 Cabrer, Leonardo Manuel
1 Cenzer, Douglas
1 Chakraborty, Tanmoy
1 Chu, Ka Lok
1 Clote, Peter G.
1 Cook, Stephen Arthur
1 Czelakowski, Janusz
1 Danner, Norman
1 Datta, Samir
1 de Haan, Ronald
1 Ellentuck, Erik
1 Endriss, Ulle
1 Ershov, Yuriĭ Leonidovich
1 Esteva, Francesc
1 Fagin, Ronald
1 Fenner, Stephen A.
1 Font, Josep Maria
1 Gerasimov, Aleksandr Sergeevich
1 Gil, Àngel J.
1 Godo, Lluís
1 Gottlob, Georg
1 Grassin, Jacques
1 Grochow, Joshua A.
1 Hemaspaandra, Edith
1 Hemmerling, Armin
1 Höhle, Ulrich
1 Jain, Sanjay
1 Janota, Mikoláš
1 Jeřábek, Emil
1 Johnson, Nancy L.
1 Kalmurzaev, Birzhan S.
1 Krajíček, Jan
1 Kreitz, Christoph
1 Kuhnert, Sebastian
1 Kummer, Martin
1 Kuperberg, Gregory John
1 Lawry, K. A.
1 Lei, Jianguo
1 Lewis, Alain A.
1 Li, Wen
1 Liberatore, Paolo
1 Malizia, Enrico
1 Marques-Silva, João P.
1 Martin, Georgia A.
1 McNicholl, Timothy H.
1 Miller, Douglas E.
1 Mix Barrington, David A.
1 Mohrherr, Jeanleah
1 Molinari, Alberto
1 Montanari, Angelo
1 Moraschini, Tommaso
1 Morris, Paul H.
1 Mugnier, Marie-Laure
1 Naik, Ashish V.
1 Noguera, Carles
1 Nordh, Gustav
1 Nosov, N. V.
1 Oliva, Paulo
1 Omanadze, Roland Sh.
1 Panti, Giovanni
1 Peron, Adriano
...and 33 more Authors
all top 5

Cited in 41 Serials

13 Theoretical Computer Science
9 The Journal of Symbolic Logic
7 Annals of Pure and Applied Logic
5 Theory of Computing Systems
4 Artificial Intelligence
4 Algebra and Logic
4 Fuzzy Sets and Systems
4 Proceedings of the American Mathematical Society
3 Discrete Mathematics
2 Archiv für Mathematische Logik und Grundlagenforschung
2 Journal of Statistical Planning and Inference
2 Studia Logica
2 Transactions of the American Mathematical Society
2 Information and Computation
2 Archive for Mathematical Logic
2 Journal of Mathematical Sciences (New York)
1 Discrete Applied Mathematics
1 Information Sciences
1 Journal of Algebra
1 Journal of Computer and System Sciences
1 Journal of Soviet Mathematics
1 Notre Dame Journal of Formal Logic
1 Siberian Mathematical Journal
1 Mathematical Social Sciences
1 Revista Matemática Iberoamericana
1 International Journal of Algebra and Computation
1 Communications in Statistics. Theory and Methods
1 RAIRO. Informatique Théorique et Applications
1 Computational Complexity
1 Statistical Papers
1 Mathematical Logic Quarterly (MLQ)
1 Journal of Combinatorial Designs
1 The Journal of Artificial Intelligence Research (JAIR)
1 Acta Mathematica Sinica. English Series
1 Natural Computing
1 ACM Transactions on Computational Logic
1 Journal of Discrete Algorithms
1 Sibirskie Èlektronnye Matematicheskie Izvestiya
1 Bulletin of the American Mathematical Society
1 RAIRO. Theoretical Informatics and Applications
1 Theory of Computing

Citations by Year

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.