https://scholars.lib.ntu.edu.tw/handle/123456789/384991| Title: | State of Büchi complementation | Authors: | YIH-KUEN TSAY Tsai, M.-H Fogarty, S Vardi, M.Y |
Issue Date: | 2014 | Journal Volume: | 10 | Journal Issue: | 4 | Source: | Logical Methods in Computer Science | URI: | http://www.scopus.com/inward/record.url?eid=2-s2.0-84919681373&partnerID=MN8TOARS http://scholars.lib.ntu.edu.tw/handle/123456789/384991 |
DOI: | 10.2168/LMCS-10(4:13)2014 |
| Appears in Collections: | 資訊管理學系 |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.