Název: Rozhodovací procedura pro silně separační logiku
Překlad názvu: A Decision Procedure for Strong-Separation Logic
Autoři: Dacík, Tomáš ; Rogalewicz, Adam (oponent) ; Vojnar, Tomáš (vedoucí práce)
Typ dokumentu: Diplomové práce
Rok: 2022
Jazyk: eng
Nakladatel: Vysoké učení technické v Brně. Fakulta informačních technologií
Abstrakt: [eng] [cze]

Klíčová slova: decision procedure; Separation logic; SMT; strong-separation logic; rozhodovací procedura; Separační logika; silně-separační logika; SMT

Instituce: Vysoké učení technické v Brně (web)
Informace o dostupnosti dokumentu: Plný text je dostupný v Digitální knihovně VUT.
Původní záznam: http://hdl.handle.net/11012/208308

Trvalý odkaz NUŠL: http://www.nusl.cz/ntk/nusl-561509


Záznam je zařazen do těchto sbírek:
Školství > Veřejné vysoké školy > Vysoké učení technické v Brně
Vysokoškolské kvalifikační práce > Diplomové práce
 Záznam vytvořen dne 2024-04-02, naposledy upraven 2024-04-03.


Není přiložen dokument
  • Exportovat ve formátu DC, NUŠL, RIS
  • Sdílet