Matches in SemOpenAlex for { <https://semopenalex.org/work/W2171601561> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W2171601561 endingPage "407" @default.
- W2171601561 startingPage "398" @default.
- W2171601561 abstract "We introduce a second-order theory V-Krom of bounded arithmetic for nondeterministic log space. This system is based on Gradel's characterization of NL by second-order Krom formulae with only universal first-order quantifiers, which in turn is motivated by the result that the decision problem for 2-CNF satisfiability is complete for coNL (and hence for NL). This theory has the style of the authors' theory Vi-Horn [APAL 124 (2003)] for polynomial time. Both theories use Zambella's elegant second-order syntax, and are axiomatized by a set 2-BASIC of simple formulae, together with a comprehension scheme for either second-order Horn formulae (in the case of V/sub 1/-Horn), or second-order Krom (2CNF) formulae (in the case of V-Krom). Our main result for V-Krom is a formalization of the Immerman-Szelepcsenyi theorem that NL is closed under complementation. This formalization is necessary to show that the NL functions are /spl Sigma//sub 1//sup B/-definable in V-Krom. The only other theory for NL in the literature relies on the Immerman-Szelepcsenyi's result rather than proving it." @default.
- W2171601561 created "2016-06-24" @default.
- W2171601561 creator A5003773985 @default.
- W2171601561 creator A5034555443 @default.
- W2171601561 date "2004-07-13" @default.
- W2171601561 modified "2023-09-23" @default.
- W2171601561 title "A second-order theory for NL" @default.
- W2171601561 cites W1482193060 @default.
- W2171601561 cites W1590283810 @default.
- W2171601561 cites W2036651904 @default.
- W2171601561 cites W2077925882 @default.
- W2171601561 cites W2090101829 @default.
- W2171601561 cites W2128026324 @default.
- W2171601561 cites W2128428740 @default.
- W2171601561 cites W2171280299 @default.
- W2171601561 doi "https://doi.org/10.1109/lics.2004.5" @default.
- W2171601561 hasPublicationYear "2004" @default.
- W2171601561 type Work @default.
- W2171601561 sameAs 2171601561 @default.
- W2171601561 citedByCount "6" @default.
- W2171601561 countsByYear W21716015612019 @default.
- W2171601561 crossrefType "proceedings-article" @default.
- W2171601561 hasAuthorship W2171601561A5003773985 @default.
- W2171601561 hasAuthorship W2171601561A5034555443 @default.
- W2171601561 hasConcept C10138342 @default.
- W2171601561 hasConcept C114614502 @default.
- W2171601561 hasConcept C118615104 @default.
- W2171601561 hasConcept C134306372 @default.
- W2171601561 hasConcept C136119220 @default.
- W2171601561 hasConcept C153046414 @default.
- W2171601561 hasConcept C154945302 @default.
- W2171601561 hasConcept C162324750 @default.
- W2171601561 hasConcept C176181172 @default.
- W2171601561 hasConcept C177264268 @default.
- W2171601561 hasConcept C182306322 @default.
- W2171601561 hasConcept C189790780 @default.
- W2171601561 hasConcept C199360897 @default.
- W2171601561 hasConcept C202444582 @default.
- W2171601561 hasConcept C33923547 @default.
- W2171601561 hasConcept C34388435 @default.
- W2171601561 hasConcept C41008148 @default.
- W2171601561 hasConcept C81721847 @default.
- W2171601561 hasConcept C90119067 @default.
- W2171601561 hasConceptScore W2171601561C10138342 @default.
- W2171601561 hasConceptScore W2171601561C114614502 @default.
- W2171601561 hasConceptScore W2171601561C118615104 @default.
- W2171601561 hasConceptScore W2171601561C134306372 @default.
- W2171601561 hasConceptScore W2171601561C136119220 @default.
- W2171601561 hasConceptScore W2171601561C153046414 @default.
- W2171601561 hasConceptScore W2171601561C154945302 @default.
- W2171601561 hasConceptScore W2171601561C162324750 @default.
- W2171601561 hasConceptScore W2171601561C176181172 @default.
- W2171601561 hasConceptScore W2171601561C177264268 @default.
- W2171601561 hasConceptScore W2171601561C182306322 @default.
- W2171601561 hasConceptScore W2171601561C189790780 @default.
- W2171601561 hasConceptScore W2171601561C199360897 @default.
- W2171601561 hasConceptScore W2171601561C202444582 @default.
- W2171601561 hasConceptScore W2171601561C33923547 @default.
- W2171601561 hasConceptScore W2171601561C34388435 @default.
- W2171601561 hasConceptScore W2171601561C41008148 @default.
- W2171601561 hasConceptScore W2171601561C81721847 @default.
- W2171601561 hasConceptScore W2171601561C90119067 @default.
- W2171601561 hasLocation W21716015611 @default.
- W2171601561 hasOpenAccess W2171601561 @default.
- W2171601561 hasPrimaryLocation W21716015611 @default.
- W2171601561 hasRelatedWork W1572440476 @default.
- W2171601561 hasRelatedWork W169256259 @default.
- W2171601561 hasRelatedWork W1891519661 @default.
- W2171601561 hasRelatedWork W1985854796 @default.
- W2171601561 hasRelatedWork W1996177377 @default.
- W2171601561 hasRelatedWork W1997908783 @default.
- W2171601561 hasRelatedWork W2021745396 @default.
- W2171601561 hasRelatedWork W2023511748 @default.
- W2171601561 hasRelatedWork W2036651904 @default.
- W2171601561 hasRelatedWork W2038247515 @default.
- W2171601561 hasRelatedWork W2045583484 @default.
- W2171601561 hasRelatedWork W2055138800 @default.
- W2171601561 hasRelatedWork W2071204190 @default.
- W2171601561 hasRelatedWork W2096975981 @default.
- W2171601561 hasRelatedWork W2128026324 @default.
- W2171601561 hasRelatedWork W2400358329 @default.
- W2171601561 hasRelatedWork W2460611553 @default.
- W2171601561 hasRelatedWork W2890827357 @default.
- W2171601561 hasRelatedWork W2949828261 @default.
- W2171601561 hasRelatedWork W9698083 @default.
- W2171601561 isParatext "false" @default.
- W2171601561 isRetracted "false" @default.
- W2171601561 magId "2171601561" @default.
- W2171601561 workType "article" @default.