公開日期 | 標題 | 作者 | 來源出版物 | scopus | WOS | 全文 |
---|---|---|---|---|---|---|
2022 | Towards a Grand Unification of Büchi Complementation Constructions | Vardi, Moshe Y.; Fogarty, Seth; Li, Yong; YIH-KUEN TSAY | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 0 | 0 |