Concepedia

Leon Henkin

LH

Statistics

Publications

32

Citations

2.4K

H-Index

22

Active since

1949

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

1–5 of 32