Cardinality of relations and relational approximation algorithms (Q5963086)
From MaRDI portal
scientific article; zbMATH DE number 6549977
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Cardinality of relations and relational approximation algorithms |
scientific article; zbMATH DE number 6549977 |
Statements
Cardinality of relations and relational approximation algorithms (English)
0 references
4 March 2016
0 references
relation algebra
0 references
cardinality operation
0 references
approximation algorithm
0 references
assertion-based program verification
0 references
0 references
