Ranking Templates for Linear Loops (Q5246721): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
| (One intermediate revision by one other user not shown) | |||
| Property / arXiv ID | |||
| Property / arXiv ID: 1503.00193 / rank | |||
Normal rank | |||
| Property / OpenAlex ID | |||
| Property / OpenAlex ID: W1525126490 / rank | |||
Normal rank | |||
Latest revision as of 10:47, 30 July 2024
scientific article; zbMATH DE number 6428625
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Ranking Templates for Linear Loops |
scientific article; zbMATH DE number 6428625 |
Statements
Ranking Templates for Linear Loops (English)
0 references
22 April 2015
0 references
linear lasso program
0 references
linear loop program
0 references
termination
0 references
linear ranking template
0 references
well-founded relation
0 references
multiphase ranking function
0 references
nested ranking function
0 references
piecewise ranking function
0 references
lexicographic ranking function
0 references
parallel ranking function
0 references
Farkas' lemma
0 references
Motzkin's theorem
0 references
