Larionov Aleksandr Aleksandrovich

Publications in Math-Net.Ru

1. 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
2. On the calculus of positively constructed formulas for authomated theorem proving
   
   Model. Anal. Inform. Sist., 17:4 (2010),  60–70