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. In: Automated Deduction - CADE-24. Lecture Notes in Artificial Intelligence, vol. 2013. Berlin: Springer Verlag, 2013, pp. 21-38. ISBN 978-3-642-38573-5. ISSN 0302-9743.
Czech title
Omezená stromová šířka v separační logice s rekursivními definicemi
Type
conference paper
Language
english
Authors
URL
Keywords

Separation logic, Tree width, MSO, Graphs

Published
2013
Pages
21-38
Journal
Lecture Notes in Computer Science, vol. 2013, no. 7898, ISSN 0302-9743
Proceedings
Automated Deduction - CADE-24
Series
Lecture Notes in Artificial Intelligence
Conference
24th International Conference on Automated Deduction, The Crowne Plaza Resort in Lake Placid, New York, USA, US
ISBN
978-3-642-38573-5
Publisher
Springer Verlag
Place
Berlin, DE
DOI
BibTeX
@INPROCEEDINGS{FITPUB10292,
   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 = "21--38",
   booktitle = "Automated Deduction - CADE-24",
   series = "Lecture Notes in Artificial Intelligence",
   journal = "Lecture Notes in Computer Science",
   volume = 2013,
   number = 7898,
   year = 2013,
   location = "Berlin, DE",
   publisher = "Springer Verlag",
   ISBN = "978-3-642-38573-5",
   ISSN = "0302-9743",
   doi = "10.1007/978-3-642-38574-2\_2",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/10292"
}
Back to top