Bounding quantification in parametric expansions of Presburger arithmetic

Date

2017

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Springer Science+Business Media

Abstract

Description

Keywords

Presburger arithmetic, Divisibility rule, Bounding overwatch, Quantifier elimination, Mathematics, Parametric statistics, Quantifier (linguistics), Bounded function, Discrete mathematics, Arithmetic

Citation

DOI

10.1007/s00153-017-0593-0

URI

https://doi.org/10.1007/s00153-017-0593-0
 https://andeanlibrary.org/handle/123456789/83922

Collections

Artículo Científico (Preprint)