Effective entailment checking for separation logic with inductive definitions (Q6091412)
From MaRDI portal
scientific article; zbMATH DE number 7770669
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Effective entailment checking for separation logic with inductive definitions |
scientific article; zbMATH DE number 7770669 |
Statements
Effective entailment checking for separation logic with inductive definitions (English)
0 references
24 November 2023
0 references
