1-Bounded TWA Cannot Be Determinized
BOJANCZYK, Mikołaj
FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science, 2003, p.62-73
[Periódico revisado por pares]
Berlin, Heidelberg: Springer Berlin Heidelberg
Texto completo disponível