Filtry
Výsledek výzkumu
Equivalences of pushdown systems are hard
IN - Informatika
- 2014 •
- D •
- Odkaz
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Výsledek výzkumu
Bisimulation equivalence and regularity for real-time one-counter automata
IN - Informatika
- 2014 •
- Jx •
- Odkaz
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Výsledek na webu
Výsledek výzkumu
Language Equivalence of Deterministic Real-Time One-Counter Automata Is NL-Complete
IN - Informatika
- 2011 •
- Jx •
- Odkaz
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Výsledek na webu
Výsledek výzkumu
Language equivalence of probabilistic pushdown automata.
IN - Informatika
- 2014 •
- Jx •
- Odkaz
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Výsledek na webu
Výsledek výzkumu
Equivalence of deterministic one-counter automata is NL-complete
IN - Informatika
- 2013 •
- D •
- Odkaz
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Výsledek výzkumu
Decidability of DPDA Language Equivalence via First-Order Grammars
IN - Informatika
- 2012 •
- D •
- Odkaz
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Výsledek výzkumu
Denotative Equivalence in the Translation of Quality Assurance Agreement
Linguistics
- 2019 •
- D
Rok uplatnění
D - Stať ve sborníku
Výsledek výzkumu
Rewrite Systems with Constraints
JC - Počítačový hardware a software
- 2001 •
- D
Rok uplatnění
D - Stať ve sborníku
Výsledek výzkumu
Czech translations of phraseology in T.G. Shevchenko's Russian-language literary heritage
AI - Jazykověda
- 2014 •
- D
Rok uplatnění
D - Stať ve sborníku
Výsledek výzkumu
Czech translations of phraseology in T.G. Shevchenko's Russian-language literary heritage
AI - Jazykověda
- 2013 •
- D
Rok uplatnění
D - Stať ve sborníku
- 1 - 10 z 14 295