Harvey M. Friedman

Treatment of Human Immunodeficiency Virus Infection with Saquinavir, Zidovudine, and Zalcitabine

Ann C. Collier, Robert W. Coombs, David Schoenfeld et al. · New England Journal of Medicine · 1996 · 756 citations · Full text

Glycoprotein C of herpes simplex virus 1 acts as a receptor for the C3b complement component on infected cells

Harvey M. Friedman, Gary H. Cohen, Roselyn J. Eisenberg et al. · Nature · 1984 · 377 citations

C3b Complement Component, Molecular Virology, Pathogenesis +8

Computational complexity of real functions

Ker‐I Ko, Harvey M. Friedman · Theoretical Computer Science · 1982 · 266 citations

Computational Complexity Theory, Engineering, Computational Complexity +2

A Borel reductibility theory for classes of countable structures

Harvey M. Friedman, Lee Stanley · Journal of Symbolic Logic · 1989 · 266 citations

Invariant Borel Class, Countable Structures, Mathematical Structure +11

An axiomatic approach to self-referential truth

Harvey M. Friedman, Michael Sheard · Annals of Pure and Applied Logic · 1987 · 229 citations

Paraconsistent Logic, Dynamic Epistemic Logic, Automated Reasoning +6