scientific article; zbMATH DE number 4031630
From MaRDI portal
Publication:3772178
Recommendations
- Publication:4508549
- On Presburger arithmetic extended with modulo counting quantifiers
- On Presburger arithmetic extended with non-unary counting quantifiers
- scientific article; zbMATH DE number 1512848
- scientific article; zbMATH DE number 4112569
- Expansions of Presburger arithmetic with the exchange property
- On decidable extensions of Presburger arithmetic: from A. Bertrand numeration sytems to Pisot numbers
- Rigid models of Presburger arithmetic
- A practical extension mechanism for decision procedures: The case study of universal Presburger arithmetic
- Beyond quantifier-free interpolation in extensions of Presburger arithmetic
Cited in
(13)- A decision procedure for string constraints with string/integer conversion and flat regular constraints
- Tractable fragments of Presburger arithmetic
- Bounding quantification in parametric expansions of Presburger arithmetic
- A collapse result for extensions of the Presburger arithmetic by a one-place function compatible with addition.
- Decidability of extended theories of addition of the natural numbers and the integers
- Expansions of Presburger arithmetic with the exchange property
- Decidability questions for a ring of Laurent polynomials
- Vapnik-Chervonenkis density in some theories without the independence property. I
- A generalization of \(p\)-boxes to affine arithmetic
- On decidable extensions of Presburger arithmetic: from A. Bertrand numeration sytems to Pisot numbers
- Vapnik-Chervonenkis density in some theories without the independence property. II
- scientific article; zbMATH DE number 1512851 (Why is no real title available?)
- scientific article; zbMATH DE number 1979550 (Why is no real title available?)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3772178)
