Пыльцын Иван Олегович

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

1. Game semantics for First-order Modal and Temporal Logics: State of the art and perspectives
   I. O. Pyltsin
   Российский гибридный семинар STEP-2023 по фундаментальным вопросам программной инженерии теории и экспериментальному программированию
   8 декабря 2023 г.