RUS  ENG
Full version
JOURNALS // Diskretnyi Analiz i Issledovanie Operatsii // Archive

Diskretn. Anal. Issled. Oper., Ser. 1, 2007 Volume 14, Issue 1, Pages 94–109 (Mi da44)

Modeling nonbranching programs with conditional stopping on a universal Turing machine

A. V. Chashkin

M. V. Lomonosov Moscow State University, Faculty of Mechanics and Mathematics



Bibliographic databases:


© Steklov Math. Inst. of RAS, 2024