Mediating for Reduction (on Minimizing Alternating Buchi Automata)

Please use this identifier to cite or link to this item: http://ir.sinica.edu.tw/handle/201000000A/39285

Title:	Mediating for Reduction (on Minimizing Alternating Buchi Automata)
Authors:	P.A. Abdulla Y.-F. Chen L. Holik T. Vojnar
Issue Date:	2009-12
Conference:	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
Appears in Collections:	資訊科學研究所

Show full item record

Last Week
0

Last month
1

checked on Jan 4, 2023

Check