Documents associated with S. Shastry

Abstract, 19.12.1979
of A.Pnueli's, N.S.Prywes' and S.Shastry's paper.
Covering Letters, N. S. Prywes->A.P. Ershov, 29.11.1979
to copies of A.Pnueli's, N.Prywes' and S.Shastry's paper and of a figure for that paper.
Reviewer's Report, P. Burnev->A.P. Ershov, 18.02.1980
by P.Burnev on A.Pnueli's, N.Prywes' and S.Shastry's paper.
Reviewer's Report, J. G. P. Barnes->A.P. Ershov, 14.02.1980
by J.Barnes on A.Pnueli's, N.Prywes' and S.Shastry's paper.

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