Detail publikace

The Tree Width of Separation Logic with Recursive Definitions

ROGALEWICZ, A.; ŠIMÁČEK, J.; IOSIF, R. The Tree Width of Separation Logic with Recursive Definitions. Automated Deduction - CADE-24. Lecture Notes in Computer Science. Lecture Notes in Artificial Intelligence. Berlin: Springer Verlag, 2013. p. 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
anglicky
Autoři
Rogalewicz Adam, doc. Mgr., Ph.D. (UITS)
Šimáček Jiří, Ing., Ph.D.
Radu Iosif
URL
Klíčová slova

Separation logic, Tree width, MSO, Graphs

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
ISBN
978-3-642-38573-5
Vydavatel
Springer Verlag
Místo
Berlin
DOI
10.1007/978-3-642-38574-2_2
BibTeX 
@inproceedings{BUT103458,
  author="Adam {Rogalewicz} and Jiří {Šimáček} and Iosif {Radu}",
  title="The Tree Width of Separation Logic with Recursive Definitions",
  booktitle="Automated Deduction - CADE-24",
  year="2013",
  series="Lecture Notes in Artificial Intelligence",
  journal="Lecture Notes in Computer Science",
  volume="2013",
  number="7898",
  pages="21--38",
  publisher="Springer Verlag",
  address="Berlin",
  doi="10.1007/978-3-642-38574-2\{_}2",
  isbn="978-3-642-38573-5",
  issn="0302-9743",
  url="http://link.springer.com/chapter/10.1007/978-3-642-38574-2_2"
}
Nahoru