Detail publikace

The Tree Width of Separation Logic with Recursive Definitions

IOSIF Radu, ROGALEWICZ Adam a ŠIMÁČEK Jiří. The Tree Width of Separation Logic with Recursive Definitions. arXiv:1301.5139, 2013.
Název česky
Omezená stromová šířka v separační logice s rekursivními definicemi
Typ
technická zpráva
Jazyk
angličtina
Autoři
Iosif Radu (VERIMAG)
Rogalewicz Adam, doc. Mgr., Ph.D. (UITS FIT VUT)
Šimáček Jiří, Ing., Ph.D. (UITS FIT VUT)
URL
Abstrakt

Článek popisuje rozhodnutelný fragment separační logiky s rekursivními definicemi. Rozhodnutelnost je dokázána pomocí redukce do MSO nad grafy s omezenou stromovou šířkou (bounded-tree width).

Rok
2013
Strany
31
Místo
arXiv:1301.5139, US
BibTeX 
@TECHREPORT{FITPUB10311,
   author = "Radu Iosif and Adam Rogalewicz and Ji\v{r}\'{i} \v{S}im\'{a}\v{c}ek",
   title = "The Tree Width of Separation Logic with Recursive Definitions",
   pages = 31,
   year = 2013,
   location = "arXiv:1301.5139, US",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/10311"
}
Nahoru