Sekorin Vseslav Stanislavovich

Presentations in Math-Net.Ru

1. On the expressivity properties of partial fixed point operator for finite and infinite systems
   V. S. Sekorin
   Seminars "Proof Theory" and "Logic Online Seminar"
   February 26, 2024 18:30