Ivanov G I

Publications in Math-Net.Ru

1. On using partial substitutions for time decomposition of boolean functions into generalized graph flowcharts of algorithms
   
   Avtomat. i Telemekh., 1983, no. 11,  120–132