Artykuł w czasopiśmie
Brak miniatury
Licencja
CC-BY - Uznanie autorstwaBinary Reachability of Timed Pushdown Automata via Quantifier Elimination and Cyclic Order Atoms
Data publikacji
2018
Dyscyplina PBN
informatyka
Licencja otwartego dostępu
Uznanie autorstwa