Publication Details

The Tree Width of Separation Logic with Recursive Definitions

IOSIF Radu, ROGALEWICZ Adam and ŠIMÁČEK Jiří. The Tree Width of Separation Logic with Recursive Definitions. arXiv:1301.5139, 2013.
Czech title
Omezená stromová šířka v separační logice s rekursivními definicemi
Type
technical report
Language
english
Authors
URL
Published
2013
Pages
31
Place
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"
}
Back to top