Serova Darya Aleksandrovna

Presentations in Math-Net.Ru

1. Tiling problems and complexity of logics
   Mikhail Rybakov, Darya Serova
   Workshop "Semantical and Computational Aspects of Non-Classical Logics" (SCAN 2023)
   June 14, 2023 15:00