Internal Calculi for Separation Logic (Q5874205)
From MaRDI portal
scientific article; zbMATH DE number 7650832
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Internal Calculi for Separation Logic |
scientific article; zbMATH DE number 7650832 |
Statements
7 February 2023
0 references
separation logic
0 references
internal calculus
0 references
adjunct/quantifier elimination
0 references
Internal Calculi for Separation Logic (English)
0 references
