Login / Signup
Yuri V. Matijasevic
ORCID
Publication Activity (10 Years)
Years Active: 1984-2020
Publications (10 Years): 1
Top Topics
Wide Ranging
Information Sciences
Website
Computer Science
Top Venues
Theor. Comput. Sci.
</>
Publications
</>
Yuri V. Matijasevic
The Riemann Hypothesis in computer science.
Theor. Comput. Sci.
807 (2020)
James P. Jones
,
Yuri V. Matijasevic
Register Machine Proof of the Theorem on Exponential Diophantine Representation of Enumerable Sets.
J. Symb. Log.
49 (3) (1984)