Matches in SemOpenAlex for { <https://semopenalex.org/work/W2080492358> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W2080492358 endingPage "153" @default.
- W2080492358 startingPage "139" @default.
- W2080492358 abstract "The decision problem is studied for the nonmodal or multiplicative-additive fragment of first-order linear logic. This fragment is shown to be NEXPTIME-hard. The hardness proof combines Shapiro's logic programming simulation of nondeterministic Turing machines with the standard proof of the PSPACE-hardness of quantified boolean formula validity, utilizing some of the surprisingly powerful and expressive machinery of linear logic." @default.
- W2080492358 created "2016-06-24" @default.
- W2080492358 creator A5003908930 @default.
- W2080492358 creator A5054465062 @default.
- W2080492358 date "1994-12-01" @default.
- W2080492358 modified "2023-10-18" @default.
- W2080492358 title "First-order linear logic without modalities is NEXPTIME-hard" @default.
- W2080492358 cites W1606971543 @default.
- W2080492358 cites W2021005328 @default.
- W2080492358 cites W2021289373 @default.
- W2080492358 cites W2058419440 @default.
- W2080492358 cites W2070324762 @default.
- W2080492358 cites W2085305950 @default.
- W2080492358 cites W2101017866 @default.
- W2080492358 cites W2122866233 @default.
- W2080492358 cites W2156950788 @default.
- W2080492358 cites W2911865844 @default.
- W2080492358 cites W4253630760 @default.
- W2080492358 doi "https://doi.org/10.1016/0304-3975(94)00107-3" @default.
- W2080492358 hasPublicationYear "1994" @default.
- W2080492358 type Work @default.
- W2080492358 sameAs 2080492358 @default.
- W2080492358 citedByCount "25" @default.
- W2080492358 countsByYear W20804923582012 @default.
- W2080492358 countsByYear W20804923582014 @default.
- W2080492358 countsByYear W20804923582016 @default.
- W2080492358 countsByYear W20804923582019 @default.
- W2080492358 crossrefType "journal-article" @default.
- W2080492358 hasAuthorship W2080492358A5003908930 @default.
- W2080492358 hasAuthorship W2080492358A5054465062 @default.
- W2080492358 hasConcept C11413529 @default.
- W2080492358 hasConcept C118615104 @default.
- W2080492358 hasConcept C176181172 @default.
- W2080492358 hasConcept C179799912 @default.
- W2080492358 hasConcept C185592680 @default.
- W2080492358 hasConcept C188027245 @default.
- W2080492358 hasConcept C197685441 @default.
- W2080492358 hasConcept C27508121 @default.
- W2080492358 hasConcept C2776235265 @default.
- W2080492358 hasConcept C28077239 @default.
- W2080492358 hasConcept C33923547 @default.
- W2080492358 hasConcept C41008148 @default.
- W2080492358 hasConcept C71139939 @default.
- W2080492358 hasConceptScore W2080492358C11413529 @default.
- W2080492358 hasConceptScore W2080492358C118615104 @default.
- W2080492358 hasConceptScore W2080492358C176181172 @default.
- W2080492358 hasConceptScore W2080492358C179799912 @default.
- W2080492358 hasConceptScore W2080492358C185592680 @default.
- W2080492358 hasConceptScore W2080492358C188027245 @default.
- W2080492358 hasConceptScore W2080492358C197685441 @default.
- W2080492358 hasConceptScore W2080492358C27508121 @default.
- W2080492358 hasConceptScore W2080492358C2776235265 @default.
- W2080492358 hasConceptScore W2080492358C28077239 @default.
- W2080492358 hasConceptScore W2080492358C33923547 @default.
- W2080492358 hasConceptScore W2080492358C41008148 @default.
- W2080492358 hasConceptScore W2080492358C71139939 @default.
- W2080492358 hasIssue "1" @default.
- W2080492358 hasLocation W20804923581 @default.
- W2080492358 hasOpenAccess W2080492358 @default.
- W2080492358 hasPrimaryLocation W20804923581 @default.
- W2080492358 hasRelatedWork W1800613700 @default.
- W2080492358 hasRelatedWork W1973386461 @default.
- W2080492358 hasRelatedWork W1996177377 @default.
- W2080492358 hasRelatedWork W2003216212 @default.
- W2080492358 hasRelatedWork W2004966370 @default.
- W2080492358 hasRelatedWork W2013091420 @default.
- W2080492358 hasRelatedWork W2064981447 @default.
- W2080492358 hasRelatedWork W2080492358 @default.
- W2080492358 hasRelatedWork W2963209704 @default.
- W2080492358 hasRelatedWork W2964260039 @default.
- W2080492358 hasVolume "135" @default.
- W2080492358 isParatext "false" @default.
- W2080492358 isRetracted "false" @default.
- W2080492358 magId "2080492358" @default.
- W2080492358 workType "article" @default.