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. arXiv:1301.5139: 2013. p. 0-0.
Název česky
Omezená stromová šířka v separační logice s rekursivními definicemi
Typ
zpráva odborná
Jazyk
anglicky
Autoři
Rogalewicz Adam, doc. Mgr., Ph.D. (UITS)
Šimáček Jiří, Ing., Ph.D.
Radu Iosif
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
31
Místo
arXiv:1301.5139
BibTeX 
@techreport{BUT192895,
  author="Adam {Rogalewicz} and Jiří {Šimáček} and Iosif {Radu}",
  title="The Tree Width of Separation Logic with Recursive Definitions",
  year="2013",
  address="arXiv:1301.5139",
  pages="31",
  url="http://arxiv.org/abs/1301.5139"
}
Nahoru