Simple-named complex-valued nominative data -- definition and basic operations (Q1688748)
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: Simple-named complex-valued nominative data -- definition and basic operations |
scientific article; zbMATH DE number 6824776
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Simple-named complex-valued nominative data -- definition and basic operations |
scientific article; zbMATH DE number 6824776 |
Statements
Simple-named complex-valued nominative data -- definition and basic operations (English)
0 references
11 January 2018
0 references
program semantics
0 references
software verification
0 references
nominative data
0 references
0 references
0.8302243
0 references
0.7735397
0 references
0.7656706
0 references
0.7522384
0 references
0.7496611
0 references
0 references
