Nie jesteś zalogowany |
Timed pushdown automata, equations over sets of integers, and branching vector addition systems with states in dimension 1
- Prelegent(ci)
- Sławomir Lasota
- Afiliacja
- Uniwersytet Warszawski
- Termin
- 9 grudnia 2015 14:15
- Pokój
- p. 5870
- Seminarium
- Seminarium „Teoria automatów”
Mutual reductions between the three models will be discussed. Decidability of emptiness is an intriguing open problem.
