A. V. Davydov, A. A. Larionov, N. V. Nagul, “On the application of the calculus of positively constructed formulas for the study of controlled discrete-event systems”, Model. Anal. Inform. Sist., 31:1 (2024), 54–77
2010
2.
A. V. Davydov, A. A. Larionov, E. A. Cherkashin, “On the calculus of positively constructed formulas for authomated theorem proving”, Model. Anal. Inform. Sist., 17:4 (2010), 60–70
Contact us: