Concepedia

Abraham Robinson

AR

31

Publications

2.7K

Citations

22

H-Index

1953

Active since

Affiliations

Yale University(Current)

University of California, Los Angeles

Toronto Public Health

University of Toronto

Abraham Robinson is an author at Yale University specializing in automated reasoning, engineering, and formal methods.

Top concepts

EngineeringAutomated ReasoningFormal MethodsFunctional AnalysisLanguageEducationSemanticsTradePhysicsBusiness

Publications per year

1953–1975

31

Publications

31

Foundations of Constructive Analysis.

Abraham Robinson, Errett Bishop · American Mathematical Monthly · 1968 · 1.3K citations

Constructive Mathematics, Engineering, Constructive Analysis +5

Completing theories by forcing

Jon Barwise, Abraham Robinson · Annals of Mathematical Logic · 1970 · 122 citations

Automated Reasoning, Causality, Incompleteness +1

Solution of an invariant subspace problem of K. T. Smith and P. R. Halmos

Allen R. Bernstein, Abraham Robinson · Pacific Journal of Mathematics · 1966 · 122 citations · Full text

Elementary properties of ordered abelian groups

Abraham Robinson, Elias Zakon · Transactions of the American Mathematical Society · 1960 · 105 citations · Full text

Random-Access Stored-Program Machines, an Approach to Programming Languages

Calvin C. Elgot, Abraham Robinson · Journal of the ACM · 1964 · 102 citations · Full text

Rows per page

1–5 of 31