Louise Hay

Available identifiers

zbMath Open hay.louiseWikidataQ3263754 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
https://portal.mardi4nfdi.de/entity/Q3037414	1982-01-01	Paper
A topological analog to the Rice-Shapiro index theorem	1982-01-01	Paper
On the recursion-theoretic complexity of relative succinctness of representations of languages	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
Index sets in 0'	1975-01-01	Paper
Rice Theorems For D.R.E. Sets	1975-01-01	Paper
Spectra and halting problems	1975-01-01	Paper
Small recursive ordinals, many-one degrees, and the arithmetical difference hierarchy	1975-01-01	Paper
A noninitial segment of index sets	1974-01-01	Paper
Index Sets Universal for Differences of Arithmetic Sets	1974-01-01	Paper
The class of recursively enumerable subsets of a recursively enumerabl e set	1973-01-01	Paper
Discrete ω-Sequences of Index Sets	1973-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4775860	1973-01-01	Paper
The Halting Problem Relativized to Complements	1973-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5632562	1972-01-01	Paper
A discrete chain of degrees of index sets	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Louise Hay