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
- Parametrized syntactic analysis by freely rewriting Restarting Automata +12005 | Faculty of Mathematics and Physics
- On incontinuity and freeness of word-order by restarting automata. +12005 | Faculty of Mathematics and Physics
- On left-monotone deterministic restarting automata2004 | Faculty of Mathematics and Physics
- On the complexity of 2-monotone restarting automata2004 | Faculty of Mathematics and Physics
- Degrees of Free Word-Order and Freely Rewriting Restarting Automata +1Publication without faculty affiliation
- On the complexity of 2-monotone restarting automataPublication 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
- One-Side Pumping and Two-Side Pumping by Complete CF(¢, $)-grammars2023 | Faculty of Mathematics and Physics
Loading network view...