Louise Hay

Available identifiers

zbMath Open hay.louiseDBLP09/160WikidataQ3263754 ScholiaQ3263754MaRDI QIDQ1114677

List of research outcomes

Publication	Date of Publication	Type
On truth-table reducibility to SAT	1992-06-25	Paper
Bounded query classes and the difference hierarchy	1989-01-01	Paper
On the recursion-theoretic complexity of relative succinctness of representations of languages	1982-01-01	Paper
A topological analog to the Rice-Shapiro index theorem	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3037414	1982-01-01	Paper
Extensional Characterization of Index Sets	1979-01-01	Paper
Convex subsets of \(2^n\) and bounded truth-table reducibility	1978-01-01	Paper
Concerning partial recursive similarity transformations of linearly ordered sets	1977-01-01	Paper
Boolean combinations of r.e. open sets	1976-01-01	Paper
Rice Theorems For D.R.E. Sets	1975-01-01	Paper
Small recursive ordinals, many-one degrees, and the arithmetical difference hierarchy	1975-01-01	Paper
Index sets in 0'	1975-01-01	Paper
Spectra and halting problems	1975-01-01	Paper
Index Sets Universal for Differences of Arithmetic Sets	1974-01-01	Paper
A noninitial segment of index sets	1974-01-01	Paper
The class of recursively enumerable subsets of a recursively enumerabl e set	1973-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4775860	1973-01-01	Paper
Discrete ω-Sequences of Index Sets	1973-01-01	Paper
The Halting Problem Relativized to Complements	1973-01-01	Paper
A discrete chain of degrees of index sets	1972-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5632562	1972-01-01	Paper
A note on frame extensions	1972-01-01	Paper
Index sets of finite classes of recursively enumerable sets	1969-01-01	Paper
Elementary Differences Between the Isols and the Co-Simple Isols	1967-01-01	Paper
The co-simple isols	1966-01-01	Paper
Isomorphism Types of Index Sets of Partial Recursive Functions	1966-01-01	Paper
On Creative Sets and Indices of Partial Recursive Functions	1965-01-01	Paper
Axiomatization of the infinite-valued predicate calculus	1964-01-01	Paper

Research outcomes over time

This page was built for person: Louise Hay