![Důležité termíny](https://cdn.muni.cz/media/3633704/image_2.jpg?mode=crop¢er=0.5,0.5&rnd=133572412150000000&heightratio=0.5&width=278)
Počet publikací: 166
1997
-
Foundatiomns of Computing
Rok: 1997, počet stran: 716 s.
-
Succinctness of description of SBTA-languages.
Theoretical Computer Science, rok: 1997, ročník: 179, vydání: 1-2
-
Systolic tree and tree-like automata
Publicationes Mathematicae, rok: 1997, ročník: 51, vydání: 3-4
1995
-
State complexity of SBTA languages.
Proceddings of LATIN´95, rok: 1995, počet stran: 12 s.
1994
-
Fix-point semantics of synchronized systems and correctness of their basic transformationsa.
Procedings of IFIP Congress´94,INFORMATION PROCESSING´94, rok: 1994, počet stran: 22 s.
-
Optimization of systolic tree automata.
Proceedings of IFIP Congress´94, INFORMATION PROCESSING´94, rok: 1994, počet stran: 6 s.