Abstract, 01.04.1982 a typed copy of the paper abstract
Abstract, 09.02.1978of the paper "Correctness of mixed computation in Algol-like programs"
Article, 21.07.1978"Mixed Computation in the Class of Recursive Program Schemata"
Bibliography, 13.09.1979on the theme "Mixed computation: Potential Applications and Problems for Study"
Bibliography, 01.07.1987(?)
Claim (a hand-written draft), 02.09.1983for writing a paper to "V mire nauki"
Draft, 06.02.1984-20.02.1984hand-written drafts of the pictures and inscriptions to them
Draft, 28.08.1978-03.09.1978preparatory material to algorithmization of mixed computation
Draft, 21.07.1978notes to "Acta Cybernetica"
Draft (hand-written), 31.03.1982for an abstract of the paper by A.P. Ershov and B.N. Ostrovsky
Drafts for slidesfor the talk at the Conference on Applied Logic
Illustrationsto the paper to "V mire nauki"
Information, 01.04.1982a typed copy of information about A.P. Ershov and B.N. Ostrovsky
Letter, 14.08.1981with a request to read and correct the proof of his article
Letter, S. P. Kapitsa->A.P. Ershov, 28.05.1983with a suggestion to A.P. Ershov to write a paper to the journal "V mire nauki"
Letter (hand-written), A.P. Ershov->M. Nivat, 16.12.1980about publishing a paper on mixed computation in "Theoretical Computer Science" journal
Letter with Attachments, Anders Haraldsson->A.P. Ershov, 06.02.1981The letter treats problems of mixed computation. The attachments contain the author's articles on its application to LISP.
Listof guests -- representatives of the American and Soviet publishers of the journals "Scientific American" and "V mire nauki", respectively
Manuscript, 19.08.1978an attempt to construct a connected program (not finished and put off till fresh ideas appear); a recursive scheme of mixed computation (a connected fragment)
Manuscript, 12.08.1978-14.08.1978an attempt to construct a connected program (not finished and put off till fresh ideas appear); a recursive scheme of mixed computation (rough pieces)
1
2
3
Initial order | In alphabetical order | By date |