Original title: Automaty v rozhodovacích procedurách a výkonnostní analýze
Translated title: Automata in Decision Procedures and Performance Analysis
Authors: Fiedor, Tomáš ; Barnat, Jiří (referee) ; Radu, Iosif (referee) ; Vojnar, Tomáš (advisor)
Document type: Doctoral theses
Language: eng
Publisher: Vysoké učení technické v Brně. Fakulta informačních technologií
Abstract: [eng] [cze]

Keywords: amortizovaná složitost; Analýza mezí zdrojů; analýza tvaru; antiřetězce; binární rozhodovací diagramy; formální analyza; konečné automaty; lesní automaty; logika druhého řádu; monadická logika; nedeterminismus; programy manipulující s haldou; statická analýza; stromové automaty; tvarové normy; ws1s.; amortized complexity; Antichains; binary decision diagrams; finite automata; forest automata; formal verification; heap-manipulating programs; monadic logic; non-determinism; resource bounds analysis; second-order logic; shape analysis; shape norms; static analysis; tree automata; ws1s.

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/196804

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


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


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