The Tree Width of Separation Logic with Recursive Definitions.

Radu Iosif Adam Rogalewicz Jirí Simácek

Published in: CADE (2013)

Keyphrases

tree width
structural properties
tree decomposition
logic programming
relational structures
shortest path
exact and approximate
constraint networks
conjunctive queries
parallel processing
probabilistic reasoning
decomposition method
computationally challenging
logic based argumentation
logic programs