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
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
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
10.1007/978-3-642-38574-2_2
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