 |
Documents associated with Robert M. Balzer
Article, 26.11.1987"Using Symbolic Execution to Characterize Behavior" by D.Cohen. W.Swartout? R.Balzer.
Working Notes, 10.07.1982-24.08.1982
Letter, A.P. Ershov->L. Bolliet, 26.04.1971suggesting several variants for the visit to Novosibirsk
Resume
City mapfragment with directions to Balzers home
Letter, R. M. Balzer ->A.P. Ershov, 15.01.1971
Letter and its hand-written draft, A.P. Ershov->D. Aufenkamp, 30.08.1978
Letter, A.P. Ershov->R. M. Balzer, 30.08.1978
Letter (hand-written), A.P. Ershov->D. Aufenkamp, 28.03.1978concerning important aspects of Ershov's and Pottosin's visit to the USA
Letter, R. M. Balzer ->A.P. Ershov, 19.03.1971
Extended Reviewer's Report, R. M. Balzer ->A.P. Ershov, 21.02.1980by R.Balzer on Anna Adam's, P.Gloess' and J.-P.Laurent's paper.
Telegram, A.P. Ershov->P. A. Vares, 11.08.1976
Telegram, 24.08.1976
Letter, A.P. Ershov->R. M. Balzer, 09.11.1972notification of the scheduled publications in theoretical and system programming; congratulatuins with the new appointment
Letter, A.P. Ershov->R. M. Balzer, 30.08.1978
Item 113. (Name does not exist in this language.)in reply to the letter of September 22; thanks for the received papers; explains that the only competent authority to invitate somebody for GDR is the Program Committee
Letter, R. M. Balzer ->A.P. Ershov, 05.11.1970
Letter, R. M. Balzer ->A.P. Ershov, 19.11.1970
Letter, R. M. Balzer ->A.P. Ershov, 28.07.1972
Letter, R. M. Balzer ->A.P. Ershov, 18.08.1971
1
2
Initial order | In alphabetical order | By date
Back
|
|
