Convergent approximate solving of first-order constraints by approximate quantifiers (Q5277696)
From MaRDI portal
scientific article; zbMATH DE number 6743940
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Convergent approximate solving of first-order constraints by approximate quantifiers |
scientific article; zbMATH DE number 6743940 |
Statements
Convergent approximate solving of first-order constraints by approximate quantifiers (English)
0 references
12 July 2017
0 references
decision procedures
0 references
constraints
0 references
generalized quantifiers
0 references
real numbers
0 references
