Login / Signup
Yuri Matijasevic
Publication Activity (10 Years)
Years Active: 1979-1979
Publications (10 Years): 0
</>
Publications
</>
Yuri Matijasevic
What should we do having proved a decision problem to be unsolvable?
Algorithms in Modern Mathematics and Computer Science
(1979)