scientific article; zbMATH DE number 1512851

zbMATH Open0962.03053MaRDI QIDQ4508549

Françoise Point

Publication date: 4 June 2001

Title of this publication is not available (Why is that?)

zbMATH Keywords

quantifier eliminationPresburger arithmetic

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Models of arithmetic and set theory (03C62) Quantifier elimination, model completeness, and related topics (03C10)

Related Items (6)

On decidable extensions of Presburger arithmetic: from A. Bertrand numeration sytems to Pisot numbers ⋮ Title not available (Why is that?) ⋮ Bounding quantification in parametric expansions of Presburger arithmetic ⋮ Expansions of Presburger arithmetic with the exchange property ⋮ A generalization of \(p\)-boxes to affine arithmetic ⋮ Tractable fragments of Presburger arithmetic

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 Q4508549)