The effects of adding reachability predicates in propositional separation logic (Q1653010)
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: The effects of adding reachability predicates in propositional separation logic |
scientific article; zbMATH DE number 6904552
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | The effects of adding reachability predicates in propositional separation logic |
scientific article; zbMATH DE number 6904552 |
Statements
The effects of adding reachability predicates in propositional separation logic (English)
0 references
17 July 2018
0 references
0.796701967716217
0 references
0.7926921248435974
0 references
0.7888686656951904
0 references
0.7886902689933777
0 references
0.786805272102356
0 references
