Cover, 05.10.1986-13.07.1986
Article, 05.10.1986"A Decomposition Rule for the Hoare Logic".
Covering letter, T. Takaoka->A.P. Ershov, 29.08.1986
Letter, A.P. Ershov->T. Takaoka, 08.10.1986
Letter, A.P. Ershov->G. Mints, 08.10.1986
Covering letter (hand-written), G. Mints->A.P. Ershov, 27.10.1986
Referee's report, 20.10.1986
Referee's report, 03.12.1986
Letter, A.P. Ershov->T. Takaoka, 08.12.1986
Letter, T. Takaoka->A.P. Ershov, 12.03.1987
Item 11. (Name does not exist in this language.)
Initial order | In alphabetical order | By date |
