@inproceedings{Safra:1988:COA:1398513.1398627,
    Address = {Washington, DC, USA},
    Author = {Safra, S.},
    BookTitle = {Proceedings of the 29th Annual Symposium on Foundations of Computer Science},
    File = {On the complexity of omega-automata - Safra (0) (0) - a - a - d.pdf},
    ISBN = {0-8186-0877-3},
    Keywords = {classic and B{\"u}chi automata and determinisation},
    Pages = {319--327},
    Publisher = {IEEE Computer Society},
    Series = {SFCS '88},
    Title = {On the complexity of omega-automata},
    URL = {http://dx.doi.org/10.1109/SFCS.1988.21948},
    Year = {1988},
    acmid = {1398627},
    bdsk-url-1 = {http://dx.doi.org/10.1109/SFCS.1988.21948},
    date-added = {2013-07-12 10:05:03 +0000},
    date-modified = {2013-07-12 10:05:55 +0000},
    numpages = {9},
    doi = {10.1109/SFCS.1988.21948}
}

@inproceedings{Safra:1988:COA:1398513.1398627, Address = {Washington, DC, USA}, Author = {Safra, S.}, BookTitle = {Proceedings of the 29th Annual Symposium on Foundations of Computer Science}, File = {On the complexity of omega-automata - Safra (0) (0) - a - a - d.pdf}, ISBN = {0-8186-0877-3}, Keywords = {classic and B{\"u}chi automata and determinisation}, Pages = {319--327}, Publisher = {IEEE Computer Society}, Series = {SFCS '88}, Title = {On the complexity of omega-automata}, URL = {http://dx.doi.org/10.1109/SFCS.1988.21948}, Year = {1988}, acmid = {1398627}, bdsk-url-1 = {http://dx.doi.org/10.1109/SFCS.1988.21948}, date-added = {2013-07-12 10:05:03 +0000}, date-modified = {2013-07-12 10:05:55 +0000}, numpages = {9}, doi = {10.1109/SFCS.1988.21948} }

Library Size: 13G (12941 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A badge