State of B\"uchi Complementation
From MaRDI portal
Publication:2938766
DOI10.2168/LMCS-10(4:13)2014zbMath1448.68278MaRDI QIDQ2938766
Moshe Y. Vardi, Yih-Kuen Tsay, Ming-Hsien Tsai, Seth Fogarty
Publication date: 15 January 2015
Published in: Logical Methods in Computer Science (Search for Journal in Brave)
68Q45: Formal languages and automata
Uses Software