Filtry
LTL to Smaller Self-Loop Alternating Automata and Back
Computer and information sciences
- 2019 •
- D •
- Odkaz
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Seminator: A Tool for Semi-Determinization of Omega-Automata
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2017 •
- D •
- Odkaz
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Automata: Theory, Trends, And Applications
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2023 •
- B •
- Odkaz
Rok uplatnění
B - Odborná kniha
Výsledek na webu
LTL to self-loop alternating automata with generic acceptance and back
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2020 •
- Jimp •
- Odkaz
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
Cyclically extended variants of Sgraffito and restarting automata for picture languages
IN - Informatika
- 2016 •
- D
Rok uplatnění
D - Stať ve sborníku
A note on limited pushdown alphabets in stateless deterministic pushdown automata
BA - Obecná matematika
- 2013 •
- Jx •
- Odkaz
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Výsledek na webu
Hierarchické komunikující stavové automaty
hierarchie - automaty...
JC - Počítačový hardware a software
- 2004 •
- D
Rok uplatnění
D - Stať ve sborníku
Succinct Determinisation of Counting Automata via Sphere Construction
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2019 •
- D •
- Odkaz
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Hluboke zasobnikove automaty
Clanek studuje hluboke zasobnikove automaty.
BD - Teorie informace
- 2006 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Cartesian composition and the problem of generalizing the MAC condition to quasi-multiautomata
Pure mathematics
- 2016 •
- Jimp •
- Odkaz
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
- 1 - 10 z 1 145