Matches in SemOpenAlex for { <https://semopenalex.org/work/W133350300> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W133350300 abstract "We define theories of Bounded Arithmetic characterizing classes of functions computable by constantdepth threshold circuits of polynomial and quasipolynomial size. Then we define certain second-order theories and show that they characterize the functions in the Counting Hierarchy. Finally we show that the former theories are isomorphic to the latter via the socalled RSUV -isomorphism." @default.
- W133350300 created "2016-06-24" @default.
- W133350300 creator A5025624345 @default.
- W133350300 creator A5077536245 @default.
- W133350300 date "1998-01-01" @default.
- W133350300 modified "2023-09-27" @default.
- W133350300 title "On Proofs About Threshold Circuits and Counting Hierarchies (Extended Abstract)" @default.
- W133350300 cites W1553743817 @default.
- W133350300 cites W169256259 @default.
- W133350300 cites W1983604941 @default.
- W133350300 cites W1986804393 @default.
- W133350300 cites W2001022561 @default.
- W133350300 cites W2068563862 @default.
- W133350300 cites W2071204190 @default.
- W133350300 cites W2114527013 @default.
- W133350300 cites W2133313069 @default.
- W133350300 cites W2136868774 @default.
- W133350300 cites W2151536080 @default.
- W133350300 cites W2168745359 @default.
- W133350300 cites W288370066 @default.
- W133350300 cites W3029117793 @default.
- W133350300 hasPublicationYear "1998" @default.
- W133350300 type Work @default.
- W133350300 sameAs 133350300 @default.
- W133350300 citedByCount "5" @default.
- W133350300 countsByYear W1333503002020 @default.
- W133350300 crossrefType "journal-article" @default.
- W133350300 hasAuthorship W133350300A5025624345 @default.
- W133350300 hasAuthorship W133350300A5077536245 @default.
- W133350300 hasConcept C10138342 @default.
- W133350300 hasConcept C108710211 @default.
- W133350300 hasConcept C115624301 @default.
- W133350300 hasConcept C118615104 @default.
- W133350300 hasConcept C134306372 @default.
- W133350300 hasConcept C162324750 @default.
- W133350300 hasConcept C182306322 @default.
- W133350300 hasConcept C185592680 @default.
- W133350300 hasConcept C203436722 @default.
- W133350300 hasConcept C2524010 @default.
- W133350300 hasConcept C2776013622 @default.
- W133350300 hasConcept C311688 @default.
- W133350300 hasConcept C31170391 @default.
- W133350300 hasConcept C33923547 @default.
- W133350300 hasConcept C34388435 @default.
- W133350300 hasConcept C34447519 @default.
- W133350300 hasConcept C8010536 @default.
- W133350300 hasConcept C90119067 @default.
- W133350300 hasConcept C94375191 @default.
- W133350300 hasConceptScore W133350300C10138342 @default.
- W133350300 hasConceptScore W133350300C108710211 @default.
- W133350300 hasConceptScore W133350300C115624301 @default.
- W133350300 hasConceptScore W133350300C118615104 @default.
- W133350300 hasConceptScore W133350300C134306372 @default.
- W133350300 hasConceptScore W133350300C162324750 @default.
- W133350300 hasConceptScore W133350300C182306322 @default.
- W133350300 hasConceptScore W133350300C185592680 @default.
- W133350300 hasConceptScore W133350300C203436722 @default.
- W133350300 hasConceptScore W133350300C2524010 @default.
- W133350300 hasConceptScore W133350300C2776013622 @default.
- W133350300 hasConceptScore W133350300C311688 @default.
- W133350300 hasConceptScore W133350300C31170391 @default.
- W133350300 hasConceptScore W133350300C33923547 @default.
- W133350300 hasConceptScore W133350300C34388435 @default.
- W133350300 hasConceptScore W133350300C34447519 @default.
- W133350300 hasConceptScore W133350300C8010536 @default.
- W133350300 hasConceptScore W133350300C90119067 @default.
- W133350300 hasConceptScore W133350300C94375191 @default.
- W133350300 hasLocation W1333503001 @default.
- W133350300 hasOpenAccess W133350300 @default.
- W133350300 hasPrimaryLocation W1333503001 @default.
- W133350300 hasRelatedWork W113209803 @default.
- W133350300 hasRelatedWork W1494513799 @default.
- W133350300 hasRelatedWork W1501855171 @default.
- W133350300 hasRelatedWork W1563012911 @default.
- W133350300 hasRelatedWork W1607926272 @default.
- W133350300 hasRelatedWork W1992205856 @default.
- W133350300 hasRelatedWork W2003519998 @default.
- W133350300 hasRelatedWork W2056827464 @default.
- W133350300 hasRelatedWork W2097212968 @default.
- W133350300 hasRelatedWork W2128026324 @default.
- W133350300 hasRelatedWork W2182446353 @default.
- W133350300 hasRelatedWork W2289748219 @default.
- W133350300 hasRelatedWork W2460611553 @default.
- W133350300 hasRelatedWork W2726560500 @default.
- W133350300 hasRelatedWork W2743447738 @default.
- W133350300 hasRelatedWork W2758062840 @default.
- W133350300 hasRelatedWork W2951424111 @default.
- W133350300 hasRelatedWork W2964749573 @default.
- W133350300 hasRelatedWork W3040059890 @default.
- W133350300 hasRelatedWork W64299615 @default.
- W133350300 isParatext "false" @default.
- W133350300 isRetracted "false" @default.
- W133350300 magId "133350300" @default.
- W133350300 workType "article" @default.