Publisher
Springer Science and Business Media LLC
Reference17 articles.
1. N. T. Kogabaev, “Complexity of the problem of being equivalent to Horn formulas,” Algebra and Logic, 60, No. 6, 380-388 (2022).
2. S. N. Vassilyev, “A method for the synthesis of deducibility conditions for Horn and some other formulas,” Sib. Math. J., 38, No. 5, 896-906 (1997).
3. S. N. Vassilyev, “Logical approach to control theory and applications,” Nonlinear An., Theory Methods Appl., 30, No. 4, 1927-1937 (1997).
4. S. N. Vassilyev and E. A. Cherkashin, “Intellectual telescope guidance,” Sib. Zh. Ind. Mat., 1, No. 2, 81-98 (1998).
5. S. N. Vassilyev, “The reduction method. I,” Nonlin. An., Theory Methods Appl., Ser. A, Theory Methods, 64, No. 2, 242-252 (2006).
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献