Restriction on cut rule in cyclic-proof system for symbolic heaps (Q6633582)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Restriction on cut rule in cyclic-proof system for symbolic heaps |
scientific article; zbMATH DE number 7939425
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Restriction on cut rule in cyclic-proof system for symbolic heaps |
scientific article; zbMATH DE number 7939425 |
Statements
Restriction on cut rule in cyclic-proof system for symbolic heaps (English)
0 references
6 November 2024
0 references
cyclic-proof system
0 references
separation logic
0 references
symbolic heap
0 references
cut elimination
0 references
0 references
0 references
