Search results for: Václav Brožek
Lecture Notes in Computer Science > Automata, Languages and Programming > Session B4: Probabilistic Systems > 332-343
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > Session 4. Automata > 230-242
Journal of Computer and System Sciences > 2014 > 80 > 1 > 139-156
Theoretical Computer Science > 2013 > 493 > Complete > 80-97
Information and Computation > 2013 > 222 > Complete > 121-138
Information and Computation > 2011 > 209 > 8 > 1160-1183
Electronic Notes in Theoretical Computer Science > 2009 > 251 > Complete > 5-16
Electronic Notes in Theoretical Computer Science > 2009 > 239 > Complete > 73-83
Information and Computation > 2008 > 206 > 5 > 520-537