Presburger arithmetic with bounded quantifier alternation (Q5402572)
From MaRDI portal
scientific article; zbMATH DE number 6270131
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Presburger arithmetic with bounded quantifier alternation |
scientific article; zbMATH DE number 6270131 |
Statements
Presburger arithmetic with bounded quantifier alternation (English)
0 references
14 March 2014
0 references
