scientific article; zbMATH DE number 7297859

zbMath1458.68095arXiv1704.03972MaRDI QIDQ5144658

Tony Tan, Zhilin Wu, Ondřej Lengál, Yu-Fang Chen

Publication date: 19 January 2021

Full work available at URL: https://arxiv.org/abs/1704.03972

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items

Reactive synthesis from visibly register pushdown automata, A taxonomy and reductions for common register automata formalisms