Skip to main content
documents
about archive
about project
Andrei Ershov
in Russian
Telegram
Archive
International Conferences, Seminars, Symposiums, Congresses, Schools, and Colloquiums
International Symposium "Algorithms in Modern Mathematics and Computer Science"
Publishing and distribution of the proceedings of the symposium
Telegram
Telegram
Confirms correctness of the Tseitin's text except for one misprint in the first line
Date:
06.07.1981
Authors:
Andrei Petrovich Ershov
Addresse:
Donald E. Knuth
Organizations:
Stanford University
People:
Grigori S. Tseitin
Back