|
|
Publications in Math-Net.Ru
-
Design and verification of logical models
Avtomat. i Telemekh., 2004, no. 6, 177–187
-
Multiplicative algebra and its application in logical data processing
Probl. Upr., 2004, no. 3, 67–77
-
Informative control: premises, techniques and tools
Probl. Upr., 2003, no. 1, 62–67
-
Linear Models of Circuits Based on the Multivalued Components
Avtomat. i Telemekh., 2002, no. 6, 99–119
-
Multiple logic computations
Avtomat. i Telemekh., 1998, no. 6, 163–171
-
Systolic Realization of Discrete Haar Transform
Avtomat. i Telemekh., 1997, no. 9, 138–145
-
Intensive logic computations
Avtomat. i Telemekh., 1993, no. 4, 160–167
-
An arithmetic representation of Petri nets
Avtomat. i Telemekh., 1987, no. 5, 156–164
-
Implementation of corteges of boolean functions by linear arithmetic polynomials
Avtomat. i Telemekh., 1984, no. 2, 114–122
-
Representation of boolean functions as arithmetic polynomials
Avtomat. i Telemekh., 1982, no. 4, 84–93
-
Polynomial implementation of a procession of Boolean functions
Dokl. Akad. Nauk SSSR, 265:6 (1982), 1338–1341
-
Spectral interpretation of decision diagrams. Radomir, S., Stankovic and Jaakko, T. Astola. Springer, 2003
Avtomat. i Telemekh., 2005, no. 4, 185–187
-
In memory of L. A. Zalmanzon
Avtomat. i Telemekh., 2004, no. 6, 221
© , 2026