Search for 'au:Symposium on theoretical programming' with limit(s): 'suppress:false'

Operation patterns , an extensible model of an extensible language

By A. A. Bährs.
[Novosibirsk 1972 .
33 с., 5 л. схем. 20 см.

Logical-termal equivalence of program schemata , Preprint of report

By V. E. Itkin ....
[M. 1972 .
15, [8] с. 20 см.

Towards automatical construction of parallel programs , Preprint of rep.

By V. E. Kotov.
[Novosibirsk 1972 .
27 с. 20 см.

Criteria for the algorithmic completeness of the systems of operations

By By V. A. Nepomniaschy ....
[Novosibirsk 1972 .
19 с. , "Preprint of report" 20 см.

Non-determined algorithm schemata or R-schemata , Preprint of rep.

By R. I. Podlovchenko ....
[Novosibirsk] 1972 .
19, [9] с. 20 см.

Looking for an approach to a theory of models for parallel computation

By A. S. Narinyani.
[M. 1972 .
44 с. , Без тит. л. и обл. 20 см.

Construction of periodic motion as one of the problems of programming control theory

By E. A. Barbashin.
Kiev Inst. of mathematics Acad. of sciences of the Ukrainian SSR 1961 .
10 с. , На обороте тит. л.: Построение периодического движения как одна из задач теории программного регулирования / Е. А. Барбашин 22 см.