Original title: Efektivní automatové techniky a jejich aplikace
Translated title: Efficient Automata Techniques and Their Applications
Authors: Havlena, Vojtěch ; Jančar, Petr (referee) ; Mayr, Richard (referee) ; Esparza, Javier (referee) ; Vojnar, Tomáš (advisor)
Document type: Doctoral theses
Year: 2021
Language: eng
Publisher: Vysoké učení technické v Brně. Fakulta informačních technologií
Abstract: [eng] [cze]

Keywords: antiprenexní forma; automatové termy; komplementace Buchiho automatů; Konečné automaty; kvadratické rovnice nad slovy; minimalizace; přibližná redukce; rank-based komplementace; rozhodovací procedury; stromové automaty; teorie řetězců; WSkS; antiprenexing; approximate reduction; automata terms; Buchi automata complementation; decision procedures; Finite automata; minimization; quadratic word equations; rank-based complementation; theory of strings; tree automata; WSkS

Institution: Brno University of Technology (web)
Document availability information: Fulltext is available in the Brno University of Technology Digital Library.
Original record: http://hdl.handle.net/11012/203936

Permalink: http://www.nusl.cz/ntk/nusl-455835


The record appears in these collections:
Universities and colleges > Public universities > Brno University of Technology
Academic theses (ETDs) > Doctoral theses
 Record created 2022-02-27, last modified 2022-09-04


No fulltext
  • Export as DC, NUŠL, RIS
  • Share