Práce na příbuzné téma (mají shodná klíčová slova):
vass-mdp, termination complexity, vector addition systems with states, asymptotic complextityKlíčová slova abecedně | Klíčová slova dle četnosti
1.
Velan, Dominik
Fakulta: Fakulta informatiky
Rok: 2019, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Informatika / Teoretická informatika
Obhajoba rigorózní práce: Termination Complexity of Vector Addition Systems with States | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2019, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Informatika / Teoretická informatika
Obhajoba rigorózní práce: Termination Complexity of Vector Addition Systems with States | Práce na příbuzné téma