called "the third approach to computation of expectation function with partitions"

of the IFIP Congress (title page)

called "the third approach to computation of expectation function by means of chains"

called "rough estimation of expectation function"

of algorithms transformation

of graph formula ordering (general case)

thanks for the notification of the trip to Munich, suggestion to send Tseitin instead of himself

The author inquires whether Ershov is interested in receiving copies of foreign materials on computer software and whether he is in possession of such materials for copying.

The author is interested in the measures taken for the next IFIP WG session organization

of algebraic computations and graph construction

to the article "On arithmetic operators programming" ("Doklady Akademii Nauk", 1958)