Mráz, František
46  results:
Search for persons X
?
2

Non-returning deterministic and nondeterministic finite aut..:

Mráz, František ; Otto, Friedrich ; Bordihn, H...
RAIRO - Theoretical Informatics and Applications.  57 (2023)  - p. 8 , 2023
 
?
3

Learning Automata Using Dimensional Reduction:

, In: Advances in Artificial Intelligence – IBERAMIA 2022; Lecture Notes in Computer Science,
 
?
4

On restarting automata with auxiliary symbols and small win..:

Mráz, František ; Otto, Friedrich ; Holzer, Markus.
RAIRO - Theoretical Informatics and Applications.  55 (2021)  - p. 9 , 2021
 
?
6

On Shrinking Restarting Automata of Window Size One and Two:

, In: Developments in Language Theory; Lecture Notes in Computer Science,
Mráz, František ; Otto, Friedrich - p. 140-153 , 2019
 
?
7

Two-Dimensional Pattern Matching Against Basic Picture Lang..:

, In: Implementation and Application of Automata; Lecture Notes in Computer Science,
 
?
8

Regulated variants of limited context restarting automata:

Otto, Friedrich ; Mráz, František
Theoretical Computer Science.  682 (2017)  - p. 190-207 , 2017
 
?
9

Lambda-confluence for context rewriting systems:

Otto, Friedrich ; Mráz, František
Theoretical Computer Science.  578 (2015)  - p. 88-99 , 2015
 
?
11

On the classes of languages accepted by limited contextrest..:

Otto, Friedrich ; Černo, Peter ; Mráz, František
RAIRO - Theoretical Informatics and Applications.  48 (2014)  1 - p. 61-84 , 2014
 
?
12

Two-dimensional Sgraffito automata:

Průša, Daniel ; Mráz, František ; Otto, Friedrich
RAIRO - Theoretical Informatics and Applications.  48 (2014)  5 - p. 505-539 , 2014
 
?
 
?
 
1-15