@incollection{Urbanski:ICALP:2000,
    Author = {Urbanski, Tomasz Fryderyk},
    BookTitle = {Proc. of ICALP'00},
    Editor = {Montanari, Ugo and Rolim, J.D.P. and Welzl, Emo},
    File = {On Deciding if Deterministic Rabin Language Is in Büchi Class - Urbanski (0) (0) - a - a - p.pdf},
    ISBN = {978-3-540-67715-4},
    Language = {English},
    Pages = {663--674},
    Publisher = {Springer},
    Series = {LNCS},
    Title = {On Deciding if Deterministic Rabin Language Is in B{\"u}chi Class},
    URL = {http://dx.doi.org/10.1007/3-540-45022-X\_56},
    Volume = {1853},
    Year = {2000},
    bdsk-url-1 = {http://dx.doi.org/10.1007/3-540-45022-X\_56},
    date-added = {2014-04-22 13:41:08 +0000},
    date-modified = {2021-05-05 13:28:19 +0200},
    doi = {10.1007/3-540-45022-X_56}
}

@incollection{Urbanski:ICALP:2000, Author = {Urbanski, Tomasz Fryderyk}, BookTitle = {Proc. of ICALP'00}, Editor = {Montanari, Ugo and Rolim, J.D.P. and Welzl, Emo}, File = {On Deciding if Deterministic Rabin Language Is in Büchi Class - Urbanski (0) (0) - a - a - p.pdf}, ISBN = {978-3-540-67715-4}, Language = {English}, Pages = {663--674}, Publisher = {Springer}, Series = {LNCS}, Title = {On Deciding if Deterministic Rabin Language Is in B{\"u}chi Class}, URL = {http://dx.doi.org/10.1007/3-540-45022-X_56}, Volume = {1853}, Year = {2000}, bdsk-url-1 = {http://dx.doi.org/10.1007/3-540-45022-X_56}, date-added = {2014-04-22 13:41:08 +0000}, date-modified = {2021-05-05 13:28:19 +0200}, doi = {10.1007/3-540-45022-X_56} }

Library Size: 13G (12943 entries), Last Updated: Apr 05, 2026, 21:58:59, Build Time: N/A badge