Documents associated with Jaroslav Kral

Cover, 27.02.1984-24.07.1984
Article, 30.01.1984
Letter, J. Kral->A.P. Ershov, 30.01.1984
Registration card, 02.07.1984
Letter, J. Kral->A.P. Ershov, 25.02.1977
Covering letter, A.P. Ershov->J. Kral, 19.01.1979
Letter, J. Kral->A.P. Ershov, 07.01.1975
The author is ready to attend the Symposium and to present a talk on one of several problems.
Letter, A.P. Ershov->J. Kral, 21.04.1970
notification of sending VKP-2 proceedings and about a symposium in the theory of programming planned for 1971
Covering letter, A.P. Ershov->J. Kral, 15.01.1975
Telegram, A.P. Ershov->J. Kral, 16.01.1975
Letter, A.P. Ershov->J. Kral, 28.03.1977
Letter, J. Kral->A.P. Ershov, 07.04.1977
Letters, A.P. Ershov->J. Gruska, 01.04.1975
Four official invitations (standardized though personal) to participate in the Symposium and to submit a paper. There are given details on the Symposium.
Letter, J. Kral->A.P. Ershov, 04.06.1975
with the title of the lecture to be presented at the Symposium. A Ershov's paper could not be included into the curent issue of "Acta Politechnica" and will be printed later.
Letter, J. Kral->A.P. Ershov, 21.02.1967
Letters, A.P. Ershov->J. Gruska, 20.06.1975
Six letters (standardized though personal) informing on organizational issues of Symposium, on representing and publishing papers.
Preprint, 18.08.1972
"Recognition of routine-denotations in ALGOL 68" is prepared at Institutes of Praha to be published in Algol Bulletin.
Letter, A.P. Ershov->J. Kral, 26.06.1970
request to think over proposals on scientific cooperation with foreign organizations in 1971
Letter, A.P. Ershov->J. Kral, 21.05.1971
on the USSA SBAS Computing Center’s proposal to launch a program of cooperation with Czechoslovak institutes and on A.F. Rar’s visit to CzSSR for the discussion of these matters
Letter, A.P. Ershov->J. Kral, 28.03.1977

1 2
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