- O sekventových kalkulech pro intuicionistickou výrokovou logiku2006 | Filozofická fakulta
- Dokazatelnost v hilbertovských kalkulech pro neklasické logiky a ATPPublikace bez příslušnosti k fakultě
- Mocenský kalkul jako konstanta i proměnná lidského příběhu. Pojetí královské moci, archetyp a osud Přemysla Otakara II. v zrcadle školy Annales2019 | Fakulta humanitních studií
- Vyhodnocení fragmentů XPath pomocí XML-Lambda kalkulu2008 | Matematicko-fyzikální fakulta
- Mocenský kalkul jako konstanta i proměnná lidského příběhu v kontextu pojetí královské moci, archetypu a osudu Přemysla Otakara II. v zrcadle školy Annales2020 | Fakulta humanitních studií
- Vyhodnocování XML dotazů v prostředí založeném na lambda kalkulu2009 | Matematicko-fyzikální fakulta
- Některé nové výsledky o inkluzích mezi spektrálními zobrazeními vPhillipsově funkčním kalkulu v Banachových prostorech a algebrách2005 | Matematicko-fyzikální fakulta
- Pouť a obraz řádu: vznik středověkého arabského kalkulu2014 | Publikace bez příslušnosti k fakultě
- O špatném nekonečnu2013 | Filozofická fakulta
- Toeplitzův genetický přístup a výuka matematické analýzy2022 | Pedagogická fakulta
- Nezávislost axiomů v neklasických logikách a automatické dokazování větPublikace bez příslušnosti k fakultě
- Důkazové systémy pro koalgebraickou modalitu2008 | Filozofická fakulta
- Logica ludus2006 | Filozofická fakulta
- Kontexty násilí.2006 | Matematicko-fyzikální fakulta, Pedagogická fakulta
- Výuka elementární logiky s nepříjemnými otázkami2012 | Fakulta humanitních studií, Fakulta sociálních věd
- Kontexty násilí.2006 | Pedagogická fakulta
- Co je to soukromý jazyk?2003 | Filozofická fakulta
- Sémantická analýza textu založená na omezujících podmínkách2015 | Matematicko-fyzikální fakulta
- Efektivní vlastnost disjunkce a efektivní interpolace v modální logicePublikace bez příslušnosti k fakultě
- O analýze. Studie k chápání logiky v Aristotelových Prvních analytikách2021 | Fakulta humanitních studií
- K denotační sémantice jazyka XML-Lambda2010 | Matematicko-fyzikální fakulta
- Strategie reprezentace soukromí v českém poválečném filmu2018 | Filozofická fakulta
- S tou zplodil syna2021 | Fakulta humanitních studií
- Sémantika jakožto založená na inferenci2006 | Filozofická fakulta
- MaLeCoP: Spojovací dokazovač se strojovým učením2011 | Matematicko-fyzikální fakulta
- Strany na ústupu, lídři na vzestupu? : Personalizace volebního chování v České republice2017 | Filozofická fakulta
- Právní úprava mimořádného vládnutí v kontextu pandemie covid-19. Rozhodnutí o vyhlášení nouzového stavu2021 | Právnická fakulta
- Kurt Gödel: Úplnost a neúplnost2015 | Filozofická fakulta
- Revizionisté, progresivisté a tradicionalisté : programové debaty v československé sociální demokracii v letech 1924-19382013 | Fakulta sociálních věd
- Je možné individualizovat vysazení antikoagulační terapie před preventivní koloskopií?2022 | 1. lékařská fakulta, Lékařská fakulta v Hradci Králové