Documents associated with Barry K. Rosen

Cover, 13.05.1981-09.11.1981
Letter, B. K. Rosen->A.P. Ershov, 01.06.1981
Working Notes, 19.11.1979
Letter (hand-written), A.P. Ershov->B. K. Rosen, 14.05.1981
Request for an opinion on the paper by V. Sabelfeld "The tree equivalence of linear recursive schemata in polynomial-time decidable"; asks for the references to the up-to-date works on the subject of Ershov's presentation at the MFCS'81 Conference
Letter, B. K. Rosen->A.P. Ershov, 08.09.1972

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