Nie jesteś zalogowany |
Powrót do listy instytutów
Publikacje
Czasopismo: Symposium on Logic in Computer Science
Liczba publikacji: 12021
- Michael Blondin, Tim Leys, Philip Offtermatt, Guillermo A., Filip Mazowiecki , Continuous One-Counter Automata, Symposium on Logic in Computer Science, 2021, s. 1--13. Zobacz w PBN
