Jul 19, 2019

19.17 Existence of a universal amplifier of selection

Jul 19, 2019

19.16 Weak validation of tree-languages by extended automata

Jul 19, 2019

19.15 The busy beaver problem for population protocols

Jul 19, 2019

19.14 Continuous reachability in ordered data VAS

Jul 19, 2019

19.13 Does a $(\textsf{min,+})$-WA preserve REG by inverse image?

Jul 19, 2019

19.12 Reachability for bounded branching VASS

Jul 19, 2019

19.11 Shortest runs in 3-D VASS

Jul 19, 2019

19.10 Variants of one-counter systems universality

Jul 19, 2019

19.8 Logic and automata for multiply nested-words

Jul 19, 2019

19.7 Membership in logical classes for (succinct) finite automata