Speaker
Tinko Tinchev
Talks at this conference:
Thu, 12:10 | Decidability of modal definability problem on the class of quasilinear frames. Live |
Speaker
Thu, 12:10 | Decidability of modal definability problem on the class of quasilinear frames. Live |