Bounding quantification in parametric expansions of Presburger arithmetic

Simple item page
dc.contributor.authorJohn Goodrick
dc.coverage.spatialBolivia
dc.date.accessioned2026-03-22T20:45:47Z
dc.date.available2026-03-22T20:45:47Z
dc.date.issued2017
dc.identifier.doi10.1007/s00153-017-0593-0
dc.identifier.urihttps://doi.org/10.1007/s00153-017-0593-0
dc.identifier.urihttps://andeanlibrary.org/handle/123456789/83922
dc.language.isoen
dc.publisherSpringer Science+Business Media
dc.relation.ispartofArchive for Mathematical Logic
dc.sourceUniversidad de Los Andes
dc.subjectPresburger arithmetic
dc.subjectDivisibility rule
dc.subjectBounding overwatch
dc.subjectQuantifier elimination
dc.subjectMathematics
dc.subjectParametric statistics
dc.subjectQuantifier (linguistics)
dc.subjectBounded function
dc.subjectDiscrete mathematics
dc.subjectArithmetic
dc.titleBounding quantification in parametric expansions of Presburger arithmetic
dc.typepreprint

Files

Collections

Artículo Científico (Preprint)