Tractability of separation logic with inductive definitions: beyond lists (Q5111651)
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: Tractability of separation logic with inductive definitions: beyond lists |
scientific article; zbMATH DE number 7204954
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Tractability of separation logic with inductive definitions: beyond lists |
scientific article; zbMATH DE number 7204954 |
Statements
27 May 2020
0 references
separation logic
0 references
inductive definitions
0 references
satisfiability
0 references
entailment
0 references
0 references
0 references
0 references
0 references
0 references
0.8595311641693115
0 references
0.7979612946510315
0 references
0.7947421073913574
0 references
0.7873573303222656
0 references
0.786805272102356
0 references
