Documents associated with Grigori S. Tseitin

Telegram, A.P. Ershov->G. S. Tseitin, 17.06.1981
Telegram, A.P. Ershov->M. Paul, 02.07.1971
notification of sending the circular; request for authorization to invite several spectators from the enclosed list
From logicism to proceduralism, 23.10.1980
typed copy of the paper
Letter, G. S. Tseitin->A.P. Ershov, 01.04.1972
Notification of the report being sent; apologies for the delay; an idea to hold a conference together with mathematical linguists and engineering psychologists.
Letter, G. S. Tseitin->A.P. Ershov, 16.12.1961
Request to send the information necessary for publishing the paper by Ershov and Kozhukhin.
Telegram, A. A. Dorodnitsyn->A.P. Ershov, 21.05.1970
with the questions regarding the trip to Munich
Review, 08.12.1974
Notification, A. N. Maslov->A.P. Ershov, 30.05.1978
on the next meeting (Leningrad, July 1977) of the Provisional Commission.
Item 47. (Name does not exist in this language.)
Cover note, G. S. Tseitin->S. S. Lavrov, 09.10.1968
Telegram, A.P. Ershov->G. S. Tseitin, 13.11.1979
Telegram, A.P. Ershov->V. M. Kurochkin, 01.08.1972
Report, G. S. Tseitin->A.P. Ershov..., 12.09.1978
on a meeting of a working group of the Provisional Commission, held in Leningrad. Attachments: an extract from the proceedings of the meeting; information on testing the ALGOL 68 compiler produced in the Leningrad University; specification of the standard hardware representation of the Russian ALGOl 68.
Telegram, A.P. Ershov->G. S. Tseitin, 14.11.1979
Letter, A.P. Ershov->G. S. Tseitin, 16.07.1968
Telegram, A.P. Ershov->G. S. Tseitin, 13.08.1971
Telegram, A.P. Ershov->N. V. Ershova, 16.11.1979
Letter, A.P. Ershov->G. S. Tseitin, 03.06.1978
Letter, A.P. Ershov->N. N. Nepeivoda, 16.07.1976
Letter (hand-written), G. S. Tseitin->A.P. Ershov, 01.06.1978
proposes topics for discussion

1 2 3 4 5 6 7 8 9 10
Initial order | In alphabetical order | By date


Back

Switch to Russian | Search | Advanced search | Folders | Themes
Home Help in Russian Webmaster © Ershov's Institute of Informatics Systems, 2000-2016