Connection with logical-term equivalence of program schemes with one class of special problems of functional equivalence of discrete transformers
1974 ◽
Vol 1
(1)
◽
pp. 273-275
2001 ◽
Vol 13
(1)
◽
pp. 60-83
◽
1982 ◽
Vol 718
(1)
◽
pp. 35-41
◽
2008 ◽
Vol 64
(1)
◽
2015 ◽
Vol 14
(2)
◽
pp. 1-18
◽