https://conf.researchr.org/details/aplas-2019/aplas-2019-papers/16/Succinct-Determinisation-of-Counting-Automata-via-Sphere-Construction
Succinct Determinisation of Counting Automata via Sphere Construction (APLAS 2019 - Research...
We solicit contributions in the forms of regular research papers, and tool papers. Among others, solicited topics include: Semantics, logics, foundational...
succinctcountingautomata