Statistics
Publications
10
Citations
470
H-Index
10
Active since
1969
Affiliations
University of Toronto(Current)
John Herbert is an author at University of Toronto specializing in organic synthesis, organic chemistry, and natural sciences.
Publications per year
1969–2021
10
10
Experience with Embedding Hardware Description Languages in HOL
Richard J. Boulton, Andrew D. Gordon, Michael J. C. Gordon et al. · 1992 · 160 citations
David W. Latham, Otto Meth‐Cohn, H. Suschitzky et al. · Journal of the Chemical Society Perkin Transactions 1 · 1977 · 36 citations
A theory of stimulus equivalence.
Jack Capehart, Vincent J. Tempone, John Herbert · Psychological Review · 1969 · 34 citations
The HOL verification of ELLA designs
Richard J. Boulton, Mike Gordon, John Herbert et al. · 2021 · 24 citations · Full text
1–5 of 10