Calculating exact transitive closure for a normalized affine integer tuple relation (Q2839225)
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: Calculating exact transitive closure for a normalized affine integer tuple relation |
scientific article; zbMATH DE number 6184201
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Calculating exact transitive closure for a normalized affine integer tuple relation |
scientific article; zbMATH DE number 6184201 |
Statements
4 July 2013
0 references
affine integer tuple relation
0 references
exact transitive closure
0 references
Presburger arithmetic
0 references
recurrence equation
0 references
0.93214417
0 references
0.89363694
0 references
0.89266837
0 references
0.8398036
0 references
0.8306551
0 references
0.8259667
0 references
0.8225646
0 references
0.82204723
0 references
Calculating exact transitive closure for a normalized affine integer tuple relation (English)
0 references
