Dmitry M. Rusakov

Publication Activity (10 Years)

Years Active: 2005-2007
Publications (10 Years): 0

Publications

Dmitry M. Rusakov
Scheme inclusion verification algorithm in algebraic model of programs with constants. Program. Comput. Softw. 33 (6) (2007)
Rimma I. Podlovchenko, Dmitry M. Rusakov
Inclusion problem in algebraic models of programs with constants. Program. Comput. Softw. 33 (3) (2007)
Rimma I. Podlovchenko, Dmitry M. Rusakov
Program Schemes with Constants. Program. Comput. Softw. 31 (3) (2005)
Rimma I. Podlovchenko, Dmitry M. Rusakov, Vladimir A. Zakharov
On the Equivalence Problem for Programs with Mode Switching. CIAA (2005)