60
Publications
4.3K
Citations
28
H-Index
1954
Active since
Philip Lewis is an author at General Electric (United States) specializing in engineering, computer science, and formal methods.
Top concepts
EngineeringComputer ScienceFormal MethodsMedicineAutomated ReasoningFormal VerificationSocial SciencesLanguageLinguisticsProgram Analysis
Publications per year
1954–2021
60
60
Hierarchies of memory limited computations
Richard E. Stearns, Juris Hartmanis, Philip Lewis · 1965 · 357 citations
Philip Lewis, Richard E. Stearns · Journal of the ACM · 1968 · 338 citations · Full text
Rows per page
1–5 of 60