Concepedia

Author

Harvey Friedman

University at Buffalo, State University of New York

Also Known As

Friedman, Harvey, Friedman, Harvey M., H. M. Friedman, HARVEY FRIEDMAN, Harvey Friedman, Harvey M Friedman, Harvey M. FRIEDMAN, Harvey M. Friedman

75

Publications

2.1K

Citations

23

H-Index

22

Concepts

All Affiliations

University at Buffalo, State University of New YorkThe Ohio State UniversityStanford UniversityUniversity of PennsylvaniaMadison Group (United States)
HF

About

Harvey Friedman is an author at University at Buffalo, State University of New York specializing in automated reasoning, formal methods, and engineering.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

6

6

375

2

Computer Science

2

2

127

3

Humanities

1

1

15

4

Language Studies

1

1

140

5

Linguistics

1

1

221

Harvey Friedman

×

26

Publications

1.4K

Citations

17

H-Index

YearCitations

Page 1