- Computing explanations for the unary resource constraint2005 | Matematicko-fyzikální fakulta
- Počítání vysvětlení globálních podmínek pro unární zdroje2005 | Matematicko-fyzikální fakulta
- O (n log n) filtrovací algorithmy pro unární omezení zdrojů2004 | Publikace bez příslušnosti k fakultě
- Homomorfní obrazy konečných subdirektně ireducibilních unárních algeber2007 | Matematicko-fyzikální fakulta
- Unary Integer Linear Programming with Structural Restrictions2018 | Matematicko-fyzikální fakulta
- Rozšíření O(n.log n) filtračního algoritmů pro podmínky modelující unární zdroje s volitelnými aktivitami2005 | Matematicko-fyzikální fakulta
- Universal topological unary varieties2003 | Matematicko-fyzikální fakulta
- Unary Resource Constraint with Optional Activities2004 | Matematicko-fyzikální fakulta, Ústřední knihovna
- Computing Explanations for the Unary Resource Constraints2005 | Matematicko-fyzikální fakulta
- The unary arithmetical algorithm in bimodular number systems2013 | Publikace bez příslušnosti k fakultě
- Extension of O(n log n) filtering algorithms for the unary resource constraint to optional activities2005 | Matematicko-fyzikální fakulta
- Minimální variety s kvazivariety polosvazů s jedním automorfizmem2009 | Matematicko-fyzikální fakulta
- Interaktivní prohlížeč Ganttových diagramůPublikace bez příslušnosti k fakultě
- Scheduling Models for Multi-Agent Path Finding2017 | Matematicko-fyzikální fakulta
- Globální podmínky v rozvrhování2007 | Matematicko-fyzikální fakulta
- Structural Limits and Approximations of Mappings2015 | Matematicko-fyzikální fakulta
- The dichotomy for conservative constraint satisfaction problems revisited2011 | Matematicko-fyzikální fakulta
- On Monotone Modalities and Adjointness2011 | Filozofická fakulta
- Smooth Approximations and Relational Width Collapses2021 | Matematicko-fyzikální fakulta
- All those EPPA classes (strengthenings of the Herwig-Lascar theorem)2022 | Matematicko-fyzikální fakulta
- Ramsey properties and extending partial automorphisms forhbox classes of finite structures2021 | Matematicko-fyzikální fakulta
- New results on deterministic sgraffito automata2013 | Matematicko-fyzikální fakulta
- Lokální přístup k automatické korekci precedenčních a zdrojových podmínek v ručně modifikovaných rozvrzích (článek č. 6)2009 | Matematicko-fyzikální fakulta
- Lokální přístup k automatické korekci precedenčních a zdrojových podmínek v ručně modifikovaných rozvrzích2009 | Matematicko-fyzikální fakulta
- Adjoint maps between implicative semilattices and continuity of localic maps2022 | Matematicko-fyzikální fakulta
- Reductio ad contradictionem: an algebraic perspective2016 | Filozofická fakulta
- Two-dimensional Sgraffito automata2014 | Matematicko-fyzikální fakulta
- Strongly polynomial sequences as interpretations2016 | Matematicko-fyzikální fakulta