http://ir.sinica.edu.tw/handle/201000000A/39285
題名: | Mediating for Reduction (on Minimizing Alternating Buchi Automata) | 作者: | P.A. Abdulla Y.-F. Chen L. Holik T. Vojnar |
公開日期: | 2009-12 | 會議: | The 29th Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2009) (Kanpur, India) | URI: | http://ir.sinica.edu.tw/handle/201000000A/39285 |
顯示於: | 資訊科學研究所 |
在 IR 系統中的文件,除了特別指名其著作權條款之外,均受到著作權保護,並且保留所有的權利。