The following pages link to (Q3772178):
Displaying 12 items.
- Vapnik-Chervonenkis density in some theories without the independence property. II (Q372618) (← links)
- A generalization of \(p\)-boxes to affine arithmetic (Q411436) (← links)
- A collapse result for extensions of the Presburger arithmetic by a one-place function compatible with addition. (Q556528) (← links)
- Decidability questions for a ring of Laurent polynomials (Q764281) (← links)
- Tractable fragments of Presburger arithmetic (Q814932) (← links)
- Decidability of extended theories of addition of the natural numbers and the integers (Q1071748) (← links)
- Bounding quantification in parametric expansions of Presburger arithmetic (Q1661676) (← links)
- Vapnik-Chervonenkis density in some theories without the independence property. I (Q2790718) (← links)
- (Q4427903) (← 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)
- A decision procedure for string constraints with string/integer conversion and flat regular constraints (Q6150112) (← links)
