Artykuł w czasopiśmie
Ładowanie...
Miniatura
Licencja

ClosedAccessDostęp zamknięty

Bisimulation Finiteness of Pushdown Systems Is Elementary

Autor
Data publikacji
Dyscyplina PBN
informatyka
Strony od-do
521-534
Licencja otwartego dostępu
Dostęp zamknięty