- Jana Bílková: Tautologie a kontradikce v češtině2016 | Filozofická fakulta
- Substituce do výrokových tautologií2007 | Matematicko-fyzikální fakulta
- Tautologické výrazy ve frazeologii2015 | Filozofická fakulta
- On the computational complexity of finding hard tautologies2014 | Matematicko-fyzikální fakulta
- Lexikografická synonyma, kookurenční profily a ekvivalentace německých abstrakt2009 | Filozofická fakulta
- A note on propositional proof complexity of some Ramsey-type statements, Archive for Mathematical Logic2011 | Matematicko-fyzikální fakulta
- An extended propositional logic2015 | Filozofická fakulta
- A note on SAT algorithms and proof complexity2012 | Matematicko-fyzikální fakulta
- Homo Economicus and Homo Stramineus2015 | Publikace bez příslušnosti k fakultě
- H-colouring dichotomy in proof complexity2021 | Matematicko-fyzikální fakulta
- Einmal ist keinmal: repetition as a form of the spirit2023 | Filozofická fakulta
- Možnosti logické predikce schizofrenie2005 | 3. lékařská fakulta
- Nisan-Wigderson generators in proof complexity: new lower bounds2022 | Matematicko-fyzikální fakulta
- Proof Systems that Take Advice2011 | Matematicko-fyzikální fakulta
- INFORMATION IN PROPOSITIONAL PROOFS AND ALGORITHMIC PROOF SEARCH2022 | Matematicko-fyzikální fakulta
