@inproceedings{Colcombet:STACS:2012,
    Address = {Dagstuhl, Germany},
    Annote = {Keywords: Automata, determinism, unambiguity, words, infinite trees},
    Author = {Colcombet, Thomas},
    BookTitle = {Proc. of STACS'12},
    Editor = {D{\"u}rr, Christoph and Wilke, Thomas},
    File = {Forms of Determinism for Automata (Invited Talk) - Colcombet (0) (0) - a - a - d.pdf},
    ISBN = {978-3-939897-35-4},
    ISSN = {1868-8969},
    Keywords = {automata theory and prophetic automata and unambiguous automata},
    Pages = {1--23},
    Publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
    Series = {LIPIcs},
    Title = {{Forms of Determinism for Automata (Invited Talk)}},
    URL = {http://drops.dagstuhl.de/opus/volltexte/2012/3386},
    Volume = {14},
    Year = {2012},
    bdsk-url-1 = {http://drops.dagstuhl.de/opus/volltexte/2012/3386},
    bdsk-url-2 = {http://dx.doi.org/10.4230/LIPIcs.STACS.2012.1},
    date-added = {2012-04-05 16:08:14 +0200},
    date-modified = {2020-10-03 19:54:06 +0200},
    file-2 = {Forms of Determinism for Automata (Invited Talk) - Colcombet (0) (0) - a - a - d.swf},
    urn = {urn:nbn:de:0030-drops-33862},
    doi = {10.4230/LIPIcs.STACS.2012.1}
}

@inproceedings{Colcombet:STACS:2012, Address = {Dagstuhl, Germany}, Annote = {Keywords: Automata, determinism, unambiguity, words, infinite trees}, Author = {Colcombet, Thomas}, BookTitle = {Proc. of STACS'12}, Editor = {D{\"u}rr, Christoph and Wilke, Thomas}, File = {Forms of Determinism for Automata (Invited Talk) - Colcombet (0) (0) - a - a - d.pdf}, ISBN = {978-3-939897-35-4}, ISSN = {1868-8969}, Keywords = {automata theory and prophetic automata and unambiguous automata}, Pages = {1--23}, Publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik}, Series = {LIPIcs}, Title = {{Forms of Determinism for Automata (Invited Talk)}}, URL = {http://drops.dagstuhl.de/opus/volltexte/2012/3386}, Volume = {14}, Year = {2012}, bdsk-url-1 = {http://drops.dagstuhl.de/opus/volltexte/2012/3386}, bdsk-url-2 = {http://dx.doi.org/10.4230/LIPIcs.STACS.2012.1}, date-added = {2012-04-05 16:08:14 +0200}, date-modified = {2020-10-03 19:54:06 +0200}, file-2 = {Forms of Determinism for Automata (Invited Talk) - Colcombet (0) (0) - a - a - d.swf}, urn = {urn:nbn:de:0030-drops-33862}, doi = {10.4230/LIPIcs.STACS.2012.1} }

Library Size: 13G (12942 entries), Last Updated: Apr 05, 2026, 08:41:35, Build Time: N/A badge