Aktualności — Wydarzenia
Teoria Automatów
Language inclusion for unambiguous VASSes
2021-11-03 14:15
During the talk, I will present our unpublished results with Wojciech Czerwiński. I will show the decidability of language inclusion for unambiguous VASSes. The main tool is, up to our knowledge, a new concept of future-determinization.
2021-11-02
Rafał Stefański
Nie jesteś zalogowany | zaloguj się
