公開日期 | 標題 | 作者 | 來源出版物 | scopus | WOS | 全文 |
---|---|---|---|---|---|---|
2014 | State of Büchi complementation | MONG-HSUN TSAI ; Fogarty, S.; Vardi, M.Y.; YIH-KUEN TSAY | Logical Methods in Computer Science | |||
2011 | State of Büchi complementation | Tsai, M.-H.; Fogarty, S.; Vardi, M.Y.; YIH-KUEN TSAY | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |