N. N. Nepeivoda, D. I. Sviridenko, “On the theory of program synthesis”, Trudy Inst. Mat. Sib. Otd. AN SSSR, 1982, Volume 2,Pages <nobr>159–175</nobr>

RUS ENG

JOURNALS // Matematicheskie Trudy // Archive

Trudy Inst. Mat. Sib. Otd. AN SSSR, 1982 Volume 2, Pages 159–175 (Mi mt621)

On the theory of program synthesis

N. N. Nepeivoda, D. I. Sviridenko

Fulltext: PDF file (1253 kB)

Bibliographic databases:

© Steklov Math. Inst. of RAS, 2025