John Myhill

Statistics

Publications

Citations

1.9K

H-Index

Active since

1950

Affiliations

University at Buffalo, State University of New York(Current)

Yale University

Stanford University

Institute for Advanced Study

John Myhill is an author at University at Buffalo, State University of New York specializing in automated reasoning, engineering, and discrete mathematics.

Top concepts

Automated ReasoningEngineeringDiscrete MathematicsFormal MethodsComputer ScienceSemanticsComputational ComplexityOntologiesSemantic WebCircuit Complexity

Publications per year

1950–1989

Publications

Intuitionism and Proof Theory

Akiko Kino, John Myhill, R. E. Vesley · 1970 · 373 citations

Automated Reasoning, Constructive Logic, Epistemology +3

The converse of Moore’s Garden-of-Eden theorem

John Myhill · Proceedings of the American Mathematical Society · 1963 · 225 citations · Full text

Discrete Geometry, Tessellation Universe, Garden-of-eden Theorem +4

Constructive set theory

John Myhill · Journal of Symbolic Logic · 1975 · 224 citations

Formal Systems, Constructive Mathematics, Gödel Functionals +8

Creative sets

John Myhill · Mathematical logic quarterly · 1955 · 138 citations

Some Remarks on the Notion of Proof

John Myhill · The Journal of Philosophy · 1960 · 103 citations

Automated Reasoning, Mathematical Proof, Proof Theory +1

1–5 of 27