Search results for: Antonín Kučera
Journal of Computer and System Sciences > 2018 > 91 > C > 82-103
Journal of Computer and System Sciences > 2017 > 84 > C > 144-170
Lecture Notes in Computer Science > Mathematical Foundations of Computer Science 2002 > Contributed Talks > 433-445
Lecture Notes in Computer Science > Text, Speech and Dialogue > Speech > 152-157
Lecture Notes in Computer Science > STACS 2005 > Session 2B > 145-157
Lecture Notes in Computer Science > Automata, Languages and Programming > Session B4: Probabilistic Systems > 332-343
Lecture Notes in Computer Science > FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science > Contributed Papers > 541-552
Lecture Notes in Computer Science > STACS 2000 > 334-345
Lecture Notes in Computer Science > Foundations of Software Science and Computation Structures > Contributed Papers > 172-186
Lecture Notes in Computer Science > Automata, Languages and Programming > Session 8-Track B. Concurrency > 478-489
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > Session 4. Automata > 230-242
Lecture Notes in Computer Science > Automata, Languages and Programming > Contributed Papers > 503-512