Ларионов Александр Александрович

Публикации в базе данных Math-Net.Ru

1. О применении исчисления позитивно-образованных формул для исследования управляемых дискретно-событийных систем
   
   Модел. и анализ информ. систем, 31:1 (2024),  54–77
2. Об исчислении позитивно-образованных формул для автоматического доказательства теорем
   
   Модел. и анализ информ. систем, 17:4 (2010),  60–70