Anatoly Petrovich Beltiukov

Publication Activity (10 Years)

Years Active: 1993-2006
Publications (10 Years): 0

Publications

Anatoly Petrovich Beltiukov
A nonasymptotic lower time bound for a strictly bounded second-order arithmetic. Ann. Pure Appl. Log. 141 (3) (2006)
Anatoly Petrovich Beltiukov
A strong induction scheme that leads to polynomially computable realizations. Theor. Comput. Sci. 322 (1) (2004)
Anatoly Petrovich Beltiukov
The set of the true regular protothetics formulas with partially ordered quantifiers is NEXPTIME-complete. Ann. Pure Appl. Log. 113 (1-3) (2001)
Anatoly Petrovich Beltiukov
Intuitionistic Formal Theories with Realizability in Subrecursive Classes. Ann. Pure Appl. Log. 89 (1) (1997)
Anatoly Petrovich Beltiukov
Automatical Synthesis of Programs with Recursions. Formal Methods in Programming and Their Applications (1993)