Publications in Math-Net.Ru
-
Deduction algorithms for some extensions of Allen’s interval logic
Artificial Intelligence and Decision Making, 2016, no. 1, 75–88
-
Fast Algorithm of Deduction Recognition for Monadic Logical Programs
Avtomat. i Telemekh., 2001, no. 10, 91–102
-
The large intervals of a random Boolean function
Dokl. Akad. Nauk SSSR, 182:1 (1968), 49–52
-
Estimates of the average time of computation by one dimensional one-sided iterative systems
Dokl. Akad. Nauk SSSR, 171:3 (1966), 537–540
-
On the problem of the minimal coloring of the vertices of a graph
Sibirsk. Mat. Zh., 6:1 (1965), 234–236
© , 2024