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