{"_id":"zynAq4ef2AokGxHcA","bibbaseid":"azizabdulla-chen-holk-vojnar-mediatingforreductiononminimizingalternatingbchiautomata-2014","downloads":0,"creationDate":"2016-02-18T16:00:36.015Z","title":"Mediating for reduction (on minimizing alternating Büchi automata)","author_short":["Aziz Abdulla, P.","Chen, Y.","Holík, L.","Vojnar, T."],"year":2014,"bibtype":"article","biburl":"http://www.dblp.org/rec/bibtex/journals/tcs/AbdullaCHV14","bibdata":{"title":"Mediating for reduction (on minimizing alternating Büchi automata)","author":["Parosh Aziz Abdulla","Yu-Fang Chen","Lukás Holík","Tomás Vojnar"],"author_short":["Aziz Abdulla, P.","Chen, Y.","Holík, L.","Vojnar, T."],"bibtype":"article","type":"article","year":"2014","key":"dblp2162212","id":"dblp2162212","biburl":"http://www.dblp.org/rec/bibtex/journals/tcs/AbdullaCHV14","url":"http://dx.doi.org/10.1016/j.tcs.2014.08.003","journal":"Theor. Comput. Sci. (TCS)","pages":"26-43","volume":"552","text":"Theor. Comput. Sci. (TCS) 552:26-43 (2014)","bibtex":"@article{ dblp2162212,\n title = {Mediating for reduction (on minimizing alternating Büchi automata)},\n author = {Parosh Aziz Abdulla and Yu-Fang Chen and Lukás Holík and Tomás Vojnar},\n author_short = {Aziz Abdulla, P. and Chen, Y. and Holík, L. and Vojnar, T.},\n bibtype = {article},\n type = {article},\n year = {2014},\n key = {dblp2162212},\n id = {dblp2162212},\n biburl = {http://www.dblp.org/rec/bibtex/journals/tcs/AbdullaCHV14},\n url = {http://dx.doi.org/10.1016/j.tcs.2014.08.003},\n journal = {Theor. Comput. Sci. (TCS)},\n pages = {26-43},\n volume = {552},\n text = {Theor. Comput. Sci. (TCS) 552:26-43 (2014)}\n}","bibbaseid":"azizabdulla-chen-holk-vojnar-mediatingforreductiononminimizingalternatingbchiautomata-2014","role":"author","urls":{"Paper":"http://dx.doi.org/10.1016/j.tcs.2014.08.003"},"downloads":0,"html":""},"search_terms":["mediating","reduction","minimizing","alternating","chi","automata","aziz abdulla","chen","holík","vojnar"],"keywords":[],"authorIDs":["5457e2a12abc8e9f3700086f"],"dataSources":["XhEp3hAJstpNMAeyA"]}