scientific article; zbMATH DE number 4031630
From MaRDI portal
Publication:3772178
zbMATH Open0634.03006MaRDI QIDQ3772178FDOQ3772178
Authors: Françoise Point, Gregory Cherlin 
Publication date: 1986
Title of this publication is not available (Why is that?)
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
decidabilityquantifier eliminationextensions of Presburger arithmeticlogarithmic functionPresburger predicates
Cited In (13)
- Title not available (Why is that?)
- A collapse result for extensions of the Presburger arithmetic by a one-place function compatible with addition.
- A decision procedure for string constraints with string/integer conversion and flat regular constraints
- Expansions of Presburger arithmetic with the exchange property
- Title not available (Why is that?)
- Vapnik-Chervonenkis density in some theories without the independence property. I
- Bounding quantification in parametric expansions of Presburger arithmetic
- A generalization of \(p\)-boxes to affine arithmetic
- Decidability questions for a ring of Laurent polynomials
- On decidable extensions of Presburger arithmetic: from A. Bertrand numeration sytems to Pisot numbers
- Tractable fragments of Presburger arithmetic
- Vapnik-Chervonenkis density in some theories without the independence property. II
- Decidability of extended theories of addition of the natural numbers and the integers
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)
