Foundations for entailment checking in quantitative separation logic (Q6166785)
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: Foundations for entailment checking in quantitative separation logic |
scientific article; zbMATH DE number 7722309
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Foundations for entailment checking in quantitative separation logic |
scientific article; zbMATH DE number 7722309 |
Statements
Foundations for entailment checking in quantitative separation logic (English)
0 references
3 August 2023
0 references
0 references
0 references
0 references
0 references
0.9006868
0 references
0.90068674
0 references
0.9005998
0 references
0.8965478
0 references
0.89299107
0 references
0.8898972
0 references
0.88917565
0 references
