A uniform approach to constraint-solving for lists, multisets, compact lists, and sets (Q5277804)
From MaRDI portal
scientific article; zbMATH DE number 6744055
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A uniform approach to constraint-solving for lists, multisets, compact lists, and sets |
scientific article; zbMATH DE number 6744055 |
Statements
A uniform approach to constraint-solving for lists, multisets, compact lists, and sets (English)
0 references
12 July 2017
0 references
membership and equality constraints
0 references
compact lists
0 references
lists
0 references
multisets
0 references
sets
0 references
