Artykuł w czasopiśmie
Brak miniatury
Licencja
CC-BY - Uznanie autorstwaUndecidability of a weak version of MSO+U
Autor
Penelle, Vincent
Guillon, Bruno
Vijayalekshmi, Sreejith Ajithkumar
Daviaud, Laure
Data publikacji
2020
Dyscyplina PBN
informatyka
Czasopismo
Logical Methods in Computer Science
Tom
16
Zeszyt
1
ISSN
1860-5974
Link do źródła
Licencja otwartego dostępu
Uznanie autorstwa