Discrete Temporal Constraint Satisfaction Problems (Q4561495)
From MaRDI portal
scientific article; zbMATH DE number 6989805
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Discrete Temporal Constraint Satisfaction Problems |
scientific article; zbMATH DE number 6989805 |
Statements
Discrete Temporal Constraint Satisfaction Problems (English)
0 references
6 December 2018
0 references
integers
0 references
Presburger arithmetic
0 references
discrete linear orders
0 references
endomorphisms
0 references
polymorphisms
0 references
successor relation
0 references
