Concepedia

Louise Hay

LH

12

Publications

384

Citations

11

H-Index

1963

Active since

Affiliations

University of Illinois Chicago(Current)

Mount Holyoke College

University of California San Diego

Louise Hay is an author at University of Illinois Chicago specializing in discrete mathematics, formal methods, and engineering.

Top concepts

Discrete MathematicsEngineeringFormal MethodsComputer ScienceAutomated ReasoningComputational ComplexitySatisfiabilityMathematical FoundationsFormal LogicGraph Theory

Publications per year

1963–1991

12

Publications

12

On truth-table reducibility to SAT

Samuel R. Buss, Louise Hay · Information and Computation · 1991 · 113 citations

Engineering, Automated Reasoning, Propositional Logic +5

Axiomatization of the infinite-valued predicate calculus

Louise Hay · Journal of Symbolic Logic · 1963 · 67 citations

Formal Logic, Infinite-valued Predicate Calculus, Engineering +14

On truth-table reducibility to SAT and the difference hierarchy over NP

Sam Buss, Louise Hay · 1988 · 45 citations

Circuit Complexity, Parallel Queries, Engineering +18

The class of recursively enumerable subsets of a recursively enumerable set

Louise Hay · Pacific Journal of Mathematics · 1973 · 36 citations · Full text

Enumerable Subsets, Enumerable Set

Concerning partial recursive similarity transformations of linearly ordered sets

Louise Hay, Alfred B. Manaster, Joseph G. Rosenstein · Pacific Journal of Mathematics · 1977 · 26 citations · Full text

Rows per page

1–5 of 12