State of Büchi Complementation
From MaRDI portal
Publication:3073645
DOI10.1007/978-3-642-18098-9_28zbMath1297.68168arXiv1406.4575MaRDI QIDQ3073645
Moshe Y. Vardi, Yih-Kuen Tsay, Ming-Hsien Tsai, Seth Fogarty
Publication date: 11 February 2011
Published in: Implementation and Application of Automata (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1406.4575
68Q45: Formal languages and automata
68-02: Research exposition (monographs, survey articles) pertaining to computer science