|
|
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|
Documents associated with T. Takaoka 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.1986Letter, A.P. Ershov->T. Takaoka, 08.10.1986 Letter, A.P. Ershov->G. Mints, 08.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 Back |
|
| Switch to Russian | Search | Advanced search | Folders | Themes | |
|
|||||
|
|||||
|
|||||
|
|||||
|
