Matches in SemOpenAlex for { <https://semopenalex.org/work/W4297923607> ?p ?o ?g. }
Showing items 1 to 63 of
63
with 100 items per page.
- W4297923607 abstract "We generalize Cooper's method of quantifier elimination for classical Presburger arithmetic to give a new proof that all parametric Presburger families (as defined by Kevin Woods) are definable by formulas with polynomially bounded quantifiers in an expanded language with predicates for divisibility by f(t) for every polynomial f over the integers. In fact, this quantifier bounding method works more generally in expansions of Presburger arithmetic with multiplication by scalars from any ring of functions into Z." @default.
- W4297923607 created "2022-10-01" @default.
- W4297923607 creator A5009248797 @default.
- W4297923607 date "2016-04-20" @default.
- W4297923607 modified "2023-09-27" @default.
- W4297923607 title "Bounding quantification in parametric expansions of Presburger arithmetic" @default.
- W4297923607 doi "https://doi.org/10.48550/arxiv.1604.06166" @default.
- W4297923607 hasPublicationYear "2016" @default.
- W4297923607 type Work @default.
- W4297923607 citedByCount "0" @default.
- W4297923607 crossrefType "posted-content" @default.
- W4297923607 hasAuthorship W4297923607A5009248797 @default.
- W4297923607 hasBestOaLocation W42979236071 @default.
- W4297923607 hasConcept C105795698 @default.
- W4297923607 hasConcept C117251300 @default.
- W4297923607 hasConcept C118615104 @default.
- W4297923607 hasConcept C134306372 @default.
- W4297923607 hasConcept C153269930 @default.
- W4297923607 hasConcept C154945302 @default.
- W4297923607 hasConcept C199360897 @default.
- W4297923607 hasConcept C2778523021 @default.
- W4297923607 hasConcept C32278780 @default.
- W4297923607 hasConcept C33923547 @default.
- W4297923607 hasConcept C34388435 @default.
- W4297923607 hasConcept C41008148 @default.
- W4297923607 hasConcept C5852641 @default.
- W4297923607 hasConcept C63584917 @default.
- W4297923607 hasConcept C94375191 @default.
- W4297923607 hasConcept C97137487 @default.
- W4297923607 hasConcept C9991821 @default.
- W4297923607 hasConceptScore W4297923607C105795698 @default.
- W4297923607 hasConceptScore W4297923607C117251300 @default.
- W4297923607 hasConceptScore W4297923607C118615104 @default.
- W4297923607 hasConceptScore W4297923607C134306372 @default.
- W4297923607 hasConceptScore W4297923607C153269930 @default.
- W4297923607 hasConceptScore W4297923607C154945302 @default.
- W4297923607 hasConceptScore W4297923607C199360897 @default.
- W4297923607 hasConceptScore W4297923607C2778523021 @default.
- W4297923607 hasConceptScore W4297923607C32278780 @default.
- W4297923607 hasConceptScore W4297923607C33923547 @default.
- W4297923607 hasConceptScore W4297923607C34388435 @default.
- W4297923607 hasConceptScore W4297923607C41008148 @default.
- W4297923607 hasConceptScore W4297923607C5852641 @default.
- W4297923607 hasConceptScore W4297923607C63584917 @default.
- W4297923607 hasConceptScore W4297923607C94375191 @default.
- W4297923607 hasConceptScore W4297923607C97137487 @default.
- W4297923607 hasConceptScore W4297923607C9991821 @default.
- W4297923607 hasLocation W42979236071 @default.
- W4297923607 hasOpenAccess W4297923607 @default.
- W4297923607 hasPrimaryLocation W42979236071 @default.
- W4297923607 hasRelatedWork W1497535273 @default.
- W4297923607 hasRelatedWork W1519123794 @default.
- W4297923607 hasRelatedWork W2161010252 @default.
- W4297923607 hasRelatedWork W2341851659 @default.
- W4297923607 hasRelatedWork W2593436961 @default.
- W4297923607 hasRelatedWork W2963029392 @default.
- W4297923607 hasRelatedWork W2971435283 @default.
- W4297923607 hasRelatedWork W3135280923 @default.
- W4297923607 hasRelatedWork W4297923607 @default.
- W4297923607 hasRelatedWork W2583260161 @default.
- W4297923607 isParatext "false" @default.
- W4297923607 isRetracted "false" @default.
- W4297923607 workType "article" @default.