Register Automata with Extrema Constraints, and an Application to Two-Variable Logic
Register Automata with Extrema Constraints, and an Application to Two-Variable Logic
Autor
Zeume Thomas
Data publikacji
Dyscyplina PBN
informatyka
Strony od-do
873--885
Link do źródła
Licencja otwartego dostępu
Dostęp zamknięty