Theses on a related topic (having the same keywords):
vass-mdp, termination complexity, vector addition systems with states, asymptotic complextityKeywords ordered alphabetically | Keywords ordered by occurrence rate
1.
Velan, Dominik
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Theoretical Informatics
Advanced Master's thesis defence: Termination Complexity of Vector Addition Systems with States | Theses on a related topic![Display description Display description](/pics/design/14/z/ico/navodek-plus.png)
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Theoretical Informatics
Advanced Master's thesis defence: Termination Complexity of Vector Addition Systems with States | Theses on a related topic
![Display description Display description](/pics/design/14/z/ico/navodek-plus.png)