Re-pairing brackets

DOI10.1145/3373718.3394752OpenAlexW3030407714MaRDI QIDQ5145644

Dmitry Chistikov, Mikhail N. Vyalyi

Publication date: 21 January 2021

Published in: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

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

zbMATH Keywords

combinatoricsautomata theoryParikh imageDyck languagebalanced parenthesesone-counter automata

Mathematics Subject Classification ID

Computer science (68-XX)

This page was built for publication: Re-pairing brackets