|
|
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|
Documents associated with Ralph L. London Reviewer's Report, R. L. London->A.P. Ershov, 18.01.1980 by R.London on N.Gehani's paper.
Abstract of the paper, 15.07.1974(?)"An Interactive Program Verification System".
Formal Letter, R. L. London->A.P. Ershov, 19.07.1979R.London agrees to referee one or two papers.
Letter (hand-written), A.P. Ershov->D. Aufenkamp, 28.03.1978concerning important aspects of Ershov's and Pottosin's visit to the USA
Letter with attachment, R. L. London->A.P. Ershov, 07.03.1975Cover Page, 12.12.1979 of S.L.Gerhart's, D.R.Musser's, D.H.Thompson's, D.A.Baker's, R.L.Bates', R.W.Erickson's, R.L.London's, D.G.Taylor's and D.S.Wile's paper.
Letter, R. L. London->N. Wirth, 05.11.1974Initial order | In alphabetical order | By date Back |
|
| Switch to Russian | Search | Advanced search | Folders | Themes | |
|
|||||
|
|||||
|
|||||
|
|||||
|
