Classes
- Evolutionary Robotics +1NAIL065 | Faculty of Mathematics and Physics
- Machine Learning in Bioinformatics +1NAIL107 | Faculty of Mathematics and Physics
- Parallel AlgorithmsNTIN017 | Faculty of Mathematics and Physics
- Parsing and Syntactic AnalysisNTIN046 | Faculty of Mathematics and Physics
- Bioinformatics AlgorithmsNTIN084 | Faculty of Mathematics and Physics
Publications
- Lambda-Confluence Is Undecidable for Clearing Restarting Automata2013 | Faculty of Mathematics and Physics
- Limited context restarting automata and McNaughton families of languages +12012 | Faculty of Mathematics and Physics
- Degrees of monotonicity and Marcus t-contextual grammars +12005 | Faculty of Mathematics and Physics
- Cut Hierarchies for Restarting automata and Marcus t-Contextual grammars +12005 | Faculty of Mathematics and Physics
- Deterministic Two-Way Restarting Automata and Marcus Contextual Grammars +12005 | Faculty of Mathematics and Physics
- Restarting Automata, Deleting, and Marcus Grammars2000 | Faculty of Mathematics and Physics, Central Library of Charles University
- Cut hierarchies for restarting automata and Marcus t-contextual grammarsPublication without faculty affiliation
- Deterministic two-way restarting automata and Marcus contextual grammarsPublication without faculty affiliation
- Learning Picture Languages Using Dimensional Reduction2023 | Faculty of Mathematics and Physics
- Non-returning deterministic and nondeterministic finite automata with translucent letters2023 | Faculty of Mathematics and Physics
Loading network view...