Tractable and Intractable Entailment Problems in Separation Logic with Inductively Defined Predicates.

Saved in:

Bibliographic Details
Title:	Tractable and Intractable Entailment Problems in Separation Logic with Inductively Defined Predicates.
Authors:	Echenim, Mnacho¹, Peltier, Nicolas¹
Source:	Fundamenta Informaticae; 2025, Vol. 194 Issue 1, p1-57, 57p
Database:	Applied Science & Technology Source

Description
ISSN:	01692968
DOI:	10.46298/fi.11318