Determinising Parity Automata
From MaRDI portal
Publication:2922042
DOI10.1007/978-3-662-44522-8_41zbMath1425.68229arXiv1401.5394MaRDI QIDQ2922042
Publication date: 14 October 2014
Published in: Mathematical Foundations of Computer Science 2014 (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1401.5394
68Q45: Formal languages and automata