Zpět na vyhledávání

Theses on the same topic (having an identical keyword):

monadic, second--order, logic

Keywords ordered alphabetically | Keywords ordered by occurrence rate

Decidability and complexity of infinite-state stochastic games
 (Václav Brožek)

2007, Diplomová práce, Fakulta informatiky / Masarykova univerzita

• https://is.muni.cz/th/jsiqw/ | Informatika / | Theses on a related topic

List of theses with an identical keyword.

Decidability and complexity of finite-state stochastic games
 (Vojtěch Forejt)

2007, Diplomová práce, Fakulta informatiky / Masarykova univerzita

• https://is.muni.cz/th/ottrb/ | Informatika / | Theses on a related topic