Filtry
On Decidability of Hyperbolicity
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2022 •
- Jimp •
- Odkaz
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
Decidability from a Numerical Point of View
IN - Informatika
- 2016 •
- O
Rok uplatnění
O - Ostatní výsledky
Decidable Subtyping of Existential Types for Julia
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2024 •
- Jimp •
- Odkaz
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
Non-primitive recursive complexity andundecidability for Petri net equivalences
BD - Teorie informace
- 2001 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Languages, decidability, and complexity
BA - Obecná matematika
- 2013 •
- C •
- Odkaz
Rok uplatnění
C - Kapitola v odborné knize
Výsledek na webu
Division by zero
BA - Obecná matematika
- 2016 •
- Jx •
- Odkaz
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Výsledek na webu
Verification of Timed-Arc Petri Nets (invited talk)
IN - Informatika
- 2011 •
- O •
- Odkaz
Rok uplatnění
O - Ostatní výsledky
Výsledek na webu
Verification of Timed-Arc {P}etri Nets
IN - Informatika
- 2011 •
- D •
- Odkaz
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Modifications of Expansion Trees for Weak Bisimulation in BPA
JC - Počítačový hardware a software
- 2002 •
- D
Rok uplatnění
D - Stať ve sborníku
Deciding structural liveness of Petri nets
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
- 1 - 10 z 63