Matches in SemOpenAlex for { <https://semopenalex.org/work/W2022070887> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W2022070887 endingPage "403" @default.
- W2022070887 startingPage "395" @default.
- W2022070887 abstract "We studied formulas of elementary number theory resulting from formulas of Presburger arithmetic PrA (additive elementary theory of integers with order) by substituting for some variables, polynomials and integer values of rational functions in a single new variable y, and quantifying over y. We show that the extension ALA (almost linear arithmetic) of PrA obtained in this way, has essentially the same upper and lower complexity bounds as the original theory. The same applies to the fragments of ALA obtained by restricting the number or type of quantifiers in formulas. We also show new upper complexity bounds for quantifier elimination in PrA and its fragments. The results form a common extension of known complexity bounds for PrA and for the existential almost linear problems studied by Gurari & Ibarra. The method is applicable also to other extensions of PrA without order, related to the famous bounds for binary forms of A. Baker." @default.
- W2022070887 created "2016-06-24" @default.
- W2022070887 creator A5021163047 @default.
- W2022070887 date "1990-11-01" @default.
- W2022070887 modified "2023-09-23" @default.
- W2022070887 title "The complexity of almost linear diophantine problems" @default.
- W2022070887 cites W1513644114 @default.
- W2022070887 cites W1975885036 @default.
- W2022070887 cites W1992963060 @default.
- W2022070887 cites W1995317845 @default.
- W2022070887 cites W1996325171 @default.
- W2022070887 cites W1996539580 @default.
- W2022070887 cites W2021592352 @default.
- W2022070887 cites W2050426366 @default.
- W2022070887 cites W2065251436 @default.
- W2022070887 cites W2071228820 @default.
- W2022070887 cites W2088191001 @default.
- W2022070887 doi "https://doi.org/10.1016/s0747-7171(08)80051-x" @default.
- W2022070887 hasPublicationYear "1990" @default.
- W2022070887 type Work @default.
- W2022070887 sameAs 2022070887 @default.
- W2022070887 citedByCount "37" @default.
- W2022070887 countsByYear W20220708872013 @default.
- W2022070887 countsByYear W20220708872014 @default.
- W2022070887 countsByYear W20220708872015 @default.
- W2022070887 countsByYear W20220708872018 @default.
- W2022070887 countsByYear W20220708872019 @default.
- W2022070887 countsByYear W20220708872020 @default.
- W2022070887 countsByYear W20220708872021 @default.
- W2022070887 countsByYear W20220708872022 @default.
- W2022070887 crossrefType "journal-article" @default.
- W2022070887 hasAuthorship W2022070887A5021163047 @default.
- W2022070887 hasConcept C10138342 @default.
- W2022070887 hasConcept C114614502 @default.
- W2022070887 hasConcept C118615104 @default.
- W2022070887 hasConcept C134306372 @default.
- W2022070887 hasConcept C136119220 @default.
- W2022070887 hasConcept C153269930 @default.
- W2022070887 hasConcept C162324750 @default.
- W2022070887 hasConcept C182306322 @default.
- W2022070887 hasConcept C182365436 @default.
- W2022070887 hasConcept C199360897 @default.
- W2022070887 hasConcept C202444582 @default.
- W2022070887 hasConcept C206530611 @default.
- W2022070887 hasConcept C2778029271 @default.
- W2022070887 hasConcept C32278780 @default.
- W2022070887 hasConcept C33923547 @default.
- W2022070887 hasConcept C41008148 @default.
- W2022070887 hasConcept C48372109 @default.
- W2022070887 hasConcept C5852641 @default.
- W2022070887 hasConcept C77553402 @default.
- W2022070887 hasConcept C94375191 @default.
- W2022070887 hasConcept C97137487 @default.
- W2022070887 hasConceptScore W2022070887C10138342 @default.
- W2022070887 hasConceptScore W2022070887C114614502 @default.
- W2022070887 hasConceptScore W2022070887C118615104 @default.
- W2022070887 hasConceptScore W2022070887C134306372 @default.
- W2022070887 hasConceptScore W2022070887C136119220 @default.
- W2022070887 hasConceptScore W2022070887C153269930 @default.
- W2022070887 hasConceptScore W2022070887C162324750 @default.
- W2022070887 hasConceptScore W2022070887C182306322 @default.
- W2022070887 hasConceptScore W2022070887C182365436 @default.
- W2022070887 hasConceptScore W2022070887C199360897 @default.
- W2022070887 hasConceptScore W2022070887C202444582 @default.
- W2022070887 hasConceptScore W2022070887C206530611 @default.
- W2022070887 hasConceptScore W2022070887C2778029271 @default.
- W2022070887 hasConceptScore W2022070887C32278780 @default.
- W2022070887 hasConceptScore W2022070887C33923547 @default.
- W2022070887 hasConceptScore W2022070887C41008148 @default.
- W2022070887 hasConceptScore W2022070887C48372109 @default.
- W2022070887 hasConceptScore W2022070887C5852641 @default.
- W2022070887 hasConceptScore W2022070887C77553402 @default.
- W2022070887 hasConceptScore W2022070887C94375191 @default.
- W2022070887 hasConceptScore W2022070887C97137487 @default.
- W2022070887 hasIssue "5" @default.
- W2022070887 hasLocation W20220708871 @default.
- W2022070887 hasOpenAccess W2022070887 @default.
- W2022070887 hasPrimaryLocation W20220708871 @default.
- W2022070887 hasRelatedWork W1497535273 @default.
- W2022070887 hasRelatedWork W1877150315 @default.
- W2022070887 hasRelatedWork W1922638020 @default.
- W2022070887 hasRelatedWork W2006076169 @default.
- W2022070887 hasRelatedWork W2022070887 @default.
- W2022070887 hasRelatedWork W2053402117 @default.
- W2022070887 hasRelatedWork W2321787319 @default.
- W2022070887 hasRelatedWork W2325635326 @default.
- W2022070887 hasRelatedWork W2593436961 @default.
- W2022070887 hasRelatedWork W3174056594 @default.
- W2022070887 hasVolume "10" @default.
- W2022070887 isParatext "false" @default.
- W2022070887 isRetracted "false" @default.
- W2022070887 magId "2022070887" @default.
- W2022070887 workType "article" @default.