Matches in SemOpenAlex for { <https://semopenalex.org/work/W2107924666> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W2107924666 abstract "The bounded arithmetic theory C/sub 2//sup 0/, which is closely related to the complexity class DLogTime-uniform TC/sup 0/, is extended by a function symbol and axioms for integer division, which is not known to be in DLogTime-uniform TC/sup 0/. About this extended theory C/sub 2//sup 0/[div], two main results are proved: (1). The Z/sub 1//sup b/-definable functions of C/sub 2//sup 0/[div] are exactly Constable's class K, a function algebra whose precise complexity-theoretic nature is yet to be determined. This also yields the new upper bound K/spl sube/uniform NC/sup 2/. (2). The /spl Delta//sub 1//sup b/-theorems C/sub 2//sup 0/[div] do not have Craig-interpolants of polynomial circuit size, unless the Diffie-Hellman key exchange protocol is insecure." @default.
- W2107924666 created "2016-06-24" @default.
- W2107924666 creator A5025624345 @default.
- W2107924666 date "2003-01-20" @default.
- W2107924666 modified "2023-09-24" @default.
- W2107924666 title "Weak bounded arithmetic, the Diffie-Hellman problem and Constable's Class K" @default.
- W2107924666 cites W133350300 @default.
- W2107924666 cites W1553743817 @default.
- W2107924666 cites W1607926272 @default.
- W2107924666 cites W169256259 @default.
- W2107924666 cites W1924552658 @default.
- W2107924666 cites W2003519998 @default.
- W2107924666 cites W2033535959 @default.
- W2107924666 cites W2045664183 @default.
- W2107924666 cites W2068363706 @default.
- W2107924666 cites W2120665495 @default.
- W2107924666 cites W2126112123 @default.
- W2107924666 cites W2126466445 @default.
- W2107924666 doi "https://doi.org/10.1109/lics.1999.782621" @default.
- W2107924666 hasPublicationYear "2003" @default.
- W2107924666 type Work @default.
- W2107924666 sameAs 2107924666 @default.
- W2107924666 citedByCount "4" @default.
- W2107924666 countsByYear W21079246662014 @default.
- W2107924666 countsByYear W21079246662020 @default.
- W2107924666 crossrefType "proceedings-article" @default.
- W2107924666 hasAuthorship W2107924666A5025624345 @default.
- W2107924666 hasConcept C114614502 @default.
- W2107924666 hasConcept C118615104 @default.
- W2107924666 hasConcept C134306372 @default.
- W2107924666 hasConcept C14036430 @default.
- W2107924666 hasConcept C199360897 @default.
- W2107924666 hasConcept C311688 @default.
- W2107924666 hasConcept C33923547 @default.
- W2107924666 hasConcept C34388435 @default.
- W2107924666 hasConcept C39637292 @default.
- W2107924666 hasConcept C41008148 @default.
- W2107924666 hasConcept C77553402 @default.
- W2107924666 hasConcept C78458016 @default.
- W2107924666 hasConcept C86803240 @default.
- W2107924666 hasConcept C90119067 @default.
- W2107924666 hasConcept C94375191 @default.
- W2107924666 hasConcept C97137487 @default.
- W2107924666 hasConceptScore W2107924666C114614502 @default.
- W2107924666 hasConceptScore W2107924666C118615104 @default.
- W2107924666 hasConceptScore W2107924666C134306372 @default.
- W2107924666 hasConceptScore W2107924666C14036430 @default.
- W2107924666 hasConceptScore W2107924666C199360897 @default.
- W2107924666 hasConceptScore W2107924666C311688 @default.
- W2107924666 hasConceptScore W2107924666C33923547 @default.
- W2107924666 hasConceptScore W2107924666C34388435 @default.
- W2107924666 hasConceptScore W2107924666C39637292 @default.
- W2107924666 hasConceptScore W2107924666C41008148 @default.
- W2107924666 hasConceptScore W2107924666C77553402 @default.
- W2107924666 hasConceptScore W2107924666C78458016 @default.
- W2107924666 hasConceptScore W2107924666C86803240 @default.
- W2107924666 hasConceptScore W2107924666C90119067 @default.
- W2107924666 hasConceptScore W2107924666C94375191 @default.
- W2107924666 hasConceptScore W2107924666C97137487 @default.
- W2107924666 hasLocation W21079246661 @default.
- W2107924666 hasOpenAccess W2107924666 @default.
- W2107924666 hasPrimaryLocation W21079246661 @default.
- W2107924666 hasRelatedWork W1605110536 @default.
- W2107924666 hasRelatedWork W1974110700 @default.
- W2107924666 hasRelatedWork W1983684847 @default.
- W2107924666 hasRelatedWork W2021317570 @default.
- W2107924666 hasRelatedWork W2030007897 @default.
- W2107924666 hasRelatedWork W2032819498 @default.
- W2107924666 hasRelatedWork W2045766836 @default.
- W2107924666 hasRelatedWork W2046487111 @default.
- W2107924666 hasRelatedWork W2051512972 @default.
- W2107924666 hasRelatedWork W2080700491 @default.
- W2107924666 hasRelatedWork W2085989767 @default.
- W2107924666 hasRelatedWork W2103286274 @default.
- W2107924666 hasRelatedWork W2133718642 @default.
- W2107924666 hasRelatedWork W2149660575 @default.
- W2107924666 hasRelatedWork W2154362643 @default.
- W2107924666 hasRelatedWork W2157201449 @default.
- W2107924666 hasRelatedWork W2363573543 @default.
- W2107924666 hasRelatedWork W768260378 @default.
- W2107924666 isParatext "false" @default.
- W2107924666 isRetracted "false" @default.
- W2107924666 magId "2107924666" @default.
- W2107924666 workType "article" @default.