Publications of
Yuri Matiyasevich
Formats of files
Bibliography compiled in June, 2009:
.pdf
For paper available via the Internet see my
Personal Journal
.
URL of my Home page is
http://logic.pdmi.ras.ru/~yumat/index.html
.