| Letter, Y. Futamura->A.P. Ershov, 28.04.1986 about a special issue of the journal "New Generation Computing" on mixed computation planned for the next year; A.P. Ershov is invited to be one of its guest editors
Letter, S. Sato->A.P. Ershov, 08.05.1986a special issue on "Knowledge Representation" is being forwarded to A.P. Ershov
Copy of a letter, D. Bjorner->E. P. Velikhov, 18.05.1986to Acad. E. Velikhov with an invitation to chair the Plenary Session "IT drives in the Old World, the New World and in the Land of the Rising Sun" on IFIP Congress '86; full support to this idea was received from A.P. Ershov and many leading scientists...
Mailing List, 25.05.1986for the Workshop on Partial and Mixed Computation
Postcard, D. Bjorner->A.P. Ershov, 18.06.1986best wishes from another Capri week
Telegram, A.P. Ershov->Y. Futamura, 12.06.1986about positive reply to Futamura's letter
Letter, D. Bjorner->A.P. Ershov, 05.08.1986Plans for a one Week Advanced, Residential, Workshop on Partial & Mixed Computations (with hand-written remarks by A.P. Ershov)
Letter, D. Bjorner->A.P. Ershov, 17.07.1986about his plans to visit his colleagues in Moscow and Novosibirsk; the proposed itinerary and seminar abstracts are attached
Letter, A.P. Ershov->Y. Futamura, 07.07.1986fully supports the idea of a special issue on mixed computation, informs about plans to hold a workshop on mixed computation and suggests to relate these initiatives; a list of potential authors is attached
Letter, Y. Futamura->A.P. Ershov, 20.07.1986thanks A.P. Ershov for his letter of July, 7, encloses a copy of the letter to Mr. Moriwaki and asks to give comments about it (the letter is about resheduling of the special issue of NGC)
Justification, 10.07.1986(?)for expediency of Bjorner's visit to Novosibirsk Computing Center (hand-written draft)
Letter, 01.10.1987(?)
Memo, S. A. Sanina->A.P. Ershov, 04.07.1986about a preliminary program of Bjorner's visit
Telegram, A.P. Ershov->D. Bjorner, 05.08.1986about Workshop and visit
Letter, A.P. Ershov->D. Bjorner, 05.08.1986about details of Bjorner's visit to Novosibirsk; some comments on the workshop are also enclosed
Letter, A.P. Ershov->Y. Futamura, 07.08.1986A.P. Ershov is "happy that NGC and WPMC will be a joint venture" and makes some suggestions to the text of "Call for papers"
Hand-written text, 07.08.1986formal definition of partial and mixed computation (a text to be included into the Preliminary Information about the Workshop)
Letter, D. Bjorner->A. A. Dorodnitsyn, 17.08.1986the details of Bjorner's visit; its final itinerary, as well as the abstracts of the seminars to be conducted in Moscow and Novosibirsk, are attached
Preliminary program, 20.08.1986(?)of Bjorner's visit to Akademgorodok, September, 28 -- October, 2, 1986
Letter, 03.09.1986about the idea of a meeting of 20 European scientists, leaders in computer science, devoted to the status of fundamental research in this field in Europe which seems to be worrying; the mailing list is enclosed
1
2
3
4
5
6
7
8
9
Initial order | In alphabetical order | By date |
