Archive
All-Union Conferences, Seminars, Symposiums, Schools
All-Union School on Mixed Computation
Abstracts
Letter, ->A.P. Ershov, 04.04.1986
Request to review the articles for "Encyclopedia of pedagogics"
Abstract, 29.06.1983
of the paper "A specialized model of parallel asynchronous computation"
Abstract, 14.07.1983
of the paper "A load module as a residual program"
Abstract
a draft of an abstract
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, 08.08.1983
of the paper "Mixed computation for micro-computers: algorithms and applications"
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, 23.06.1983
of the paper "On Lambda-calculus with an Assignment Operator" and a covering letter
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, 30.07.1983
of the paper "Mixed computation in a pilot software system" by A.M. Stepanov
Abstract
of the paper "Mixed computation in data types" by I.N. Skopin and A.V. Zamulin

Initial order | In alphabetical order | By date

Switch to Russian | Search | Advanced search | Folders | Themes
Home Help in Russian Webmaster © Ershov's Institute of Informatics Systems, 2000-2016