Login / Signup
Richard A. Shore
ORCID
Publication Activity (10 Years)
Years Active: 1971-2023
Publications (10 Years): 7
Top Topics
Interactive Theorem Proving
Recursively Enumerable
Test Sequences
Von Neumann
Top Venues
J. Symb. Log.
Bull. Symb. Log.
Arch. Math. Log.
Int. J. Algebra Comput.
</>
Publications
</>