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. In: Automated Deduction - CADE-24. Lecture Notes in Artificial Intelligence, roč. 2013. Berlin: Springer Verlag, 2013, s. 21-38. ISBN 978-3-642-38573-5. ISSN 0302-9743.
Název česky
Omezená stromová šířka v separační logice s rekursivními definicemi
Typ
článek ve sborníku konference
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
21-38
Časopis
Lecture Notes in Computer Science, roč. 2013, č. 7898, ISSN 0302-9743
Sborník
Automated Deduction - CADE-24
Řada
Lecture Notes in Artificial Intelligence
Konference
24th International Conference on Automated Deduction, The Crowne Plaza Resort in Lake Placid, New York, USA, US
ISBN
978-3-642-38573-5
Vydavatel
Springer Verlag
Místo
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"
}
Nahoru