|
|
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|
Documents associated with T. Takaoka Item 11. (Name does not exist in this language.) Article, 05.10.1986 "A Decomposition Rule for the Hoare Logic".
Cover, 05.10.1986-13.07.1986Covering 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 Letter, A.P. Ershov->T. Takaoka, 08.12.1986 Letter, T. Takaoka->A.P. Ershov, 12.03.1987 Referee's report, 20.10.1986 Referee's report, 03.12.1986 Initial order | In alphabetical order | By date Back |
|
| Switch to Russian | Search | Advanced search | Folders | Themes | |
|
|||||
|
|||||
|
|||||
|
|||||
|
