Matrix Interpretations on Polyhedral Domains. (Q5277888)
From MaRDI portal
scientific article; zbMATH DE number 6744207
Language | Label | Description | Also known as |
---|---|---|---|
English | Matrix Interpretations on Polyhedral Domains. |
scientific article; zbMATH DE number 6744207 |
Statements
12 July 2017
0 references
termination of term rewriting
0 references
matrix interpretations
0 references
constraint programming
0 references
linear inequalities
0 references
Matrix Interpretations on Polyhedral Domains. (English)
0 references