Artykuł w czasopiśmie
Brak miniatury
Licencja
CC-BY - Uznanie autorstwaRecursion Schemes, the MSO Logic, and the U quantifier
Autor
Data publikacji
2020
Dyscyplina PBN
informatyka
Czasopismo
Logical Methods in Computer Science
Tom
16
Zeszyt
1
ISSN
1860-5974
Data udostępnienia w otwartym dostępie
2020-02-18
Link do źródła
Licencja otwartego dostępu
Uznanie autorstwa