Abstract a draft of an abstract
Abstractof the paper "Mixed computation in data types" by I.N. Skopin and A.V. Zamulin
Abstract, 23.06.1983of the paper "On Lambda-calculus with an Assignment Operator" and a covering letter
Abstract, 29.06.1983of the paper "A specialized model of parallel asynchronous computation"
Abstract, 14.07.1983of the paper "A load module as a residual program"
Abstract, 30.07.1983of the paper "Mixed computation in a pilot software system" by A.M. Stepanov
Abstract, 01.08.1983(?)of the paper "Resident software system for micro-computer control program construction"
Abstract, 01.08.1983(?)of the paper "Mixed computation and semantics of program functional specifications"
Abstract, 01.08.1983(?)of the paper "Experience in design and application of professional (personal) computers"
Abstract, 01.08.1983(?)of the paper "Use of mixed computation in a compiler from a relational language"
Abstract, 01.08.1983(?)of the paper "Analysis of concurrency in compilation of a family of languages"
Abstract, 01.08.1983(?)of the paper "From the determinant of a computable function to a high-quality parallel program"
Annotation, 01.08.1983(?)to the paper about the development of a mixed "computer" as a part of software for "El'brus" computer
Abstract, 01.08.1983(?)of the paper "Using mixed computation in program testing"
Abstract, 01.08.1983(?)of the paper "Mixed computation in logical theories"
Abstract, 01.08.1983(?)of the paper "Analysis of meta-language descriptions on the basis of mixed computation"
Abstract, 01.08.1983(?)of the paper "Data flow analysis for list-processing programs"
Abstract, 08.08.1983of the paper "Mixed computation for micro-computers: algorithms and applications"
Letter, ->A.P. Ershov, 04.04.1986Request to review the articles for "Encyclopedia of pedagogics"
Initial order | In alphabetical order | By date |