Pages that link to "Item:Q6135772"
From MaRDI portal
The following pages link to On Presburger arithmetic extended with non-unary counting quantifiers (Q6135772):
Displaying 4 items.
- Bounding quantification in parametric expansions of Presburger arithmetic (Q1661676) (← links)
- (Q3772178) (← links)
- On decidable extensions of Presburger arithmetic: from A. Bertrand numeration sytems to Pisot numbers (Q4527928) (← links)
- Expansions of Presburger arithmetic with the exchange property (Q6047721) (← links)