Foundations for Decision Problems in Separation Logic with General Inductive Predicates (Q5410687)
From MaRDI portal
scientific article; zbMATH DE number 6286349
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Foundations for Decision Problems in Separation Logic with General Inductive Predicates |
scientific article; zbMATH DE number 6286349 |
Statements
Foundations for Decision Problems in Separation Logic with General Inductive Predicates (English)
0 references
16 April 2014
0 references
