Concepedia

Leon Henkin

LH

32

Publications

2.4K

Citations

22

H-Index

1949

Active since

Affiliations

University of California, Berkeley(Current)

Princeton University

Southern California University for Professional Studies

University of Southern California

Los Angeles Medical Center

Leon Henkin is an author at University of California, Berkeley specializing in automated reasoning, formal methods, and engineering.

Top concepts

Automated ReasoningEngineeringFormal MethodsSemanticsLanguageLinguisticsFormal VerificationFunctional AnalysisMathematical FoundationsSyntax

Publications per year

1949–1996

32

Publications

32

Rows per page

1–5 of 32