Matches in SemOpenAlex for { <https://semopenalex.org/work/W2057183321> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W2057183321 endingPage "180" @default.
- W2057183321 startingPage "163" @default.
- W2057183321 abstract "We present a subsystem of second-order linear logic with restricted rules for exponentials so that proofs correspond to polynomial time algorithms, and vice versa." @default.
- W2057183321 created "2016-06-24" @default.
- W2057183321 creator A5039362217 @default.
- W2057183321 date "2004-06-01" @default.
- W2057183321 modified "2023-09-23" @default.
- W2057183321 title "Soft linear logic and polynomial time" @default.
- W2057183321 cites W1969548989 @default.
- W2057183321 cites W1971256104 @default.
- W2057183321 cites W2069301430 @default.
- W2057183321 cites W2079171825 @default.
- W2057183321 cites W2911303149 @default.
- W2057183321 cites W2911865844 @default.
- W2057183321 doi "https://doi.org/10.1016/j.tcs.2003.10.018" @default.
- W2057183321 hasPublicationYear "2004" @default.
- W2057183321 type Work @default.
- W2057183321 sameAs 2057183321 @default.
- W2057183321 citedByCount "178" @default.
- W2057183321 countsByYear W20571833212012 @default.
- W2057183321 countsByYear W20571833212013 @default.
- W2057183321 countsByYear W20571833212014 @default.
- W2057183321 countsByYear W20571833212015 @default.
- W2057183321 countsByYear W20571833212016 @default.
- W2057183321 countsByYear W20571833212017 @default.
- W2057183321 countsByYear W20571833212018 @default.
- W2057183321 countsByYear W20571833212019 @default.
- W2057183321 countsByYear W20571833212020 @default.
- W2057183321 countsByYear W20571833212021 @default.
- W2057183321 countsByYear W20571833212022 @default.
- W2057183321 countsByYear W20571833212023 @default.
- W2057183321 crossrefType "journal-article" @default.
- W2057183321 hasAuthorship W2057183321A5039362217 @default.
- W2057183321 hasConcept C11413529 @default.
- W2057183321 hasConcept C134306372 @default.
- W2057183321 hasConcept C136119220 @default.
- W2057183321 hasConcept C199343813 @default.
- W2057183321 hasConcept C202444582 @default.
- W2057183321 hasConcept C2777686260 @default.
- W2057183321 hasConcept C311688 @default.
- W2057183321 hasConcept C33923547 @default.
- W2057183321 hasConcept C41008148 @default.
- W2057183321 hasConcept C71924100 @default.
- W2057183321 hasConcept C90119067 @default.
- W2057183321 hasConceptScore W2057183321C11413529 @default.
- W2057183321 hasConceptScore W2057183321C134306372 @default.
- W2057183321 hasConceptScore W2057183321C136119220 @default.
- W2057183321 hasConceptScore W2057183321C199343813 @default.
- W2057183321 hasConceptScore W2057183321C202444582 @default.
- W2057183321 hasConceptScore W2057183321C2777686260 @default.
- W2057183321 hasConceptScore W2057183321C311688 @default.
- W2057183321 hasConceptScore W2057183321C33923547 @default.
- W2057183321 hasConceptScore W2057183321C41008148 @default.
- W2057183321 hasConceptScore W2057183321C71924100 @default.
- W2057183321 hasConceptScore W2057183321C90119067 @default.
- W2057183321 hasIssue "1-2" @default.
- W2057183321 hasLocation W20571833211 @default.
- W2057183321 hasOpenAccess W2057183321 @default.
- W2057183321 hasPrimaryLocation W20571833211 @default.
- W2057183321 hasRelatedWork W1989776440 @default.
- W2057183321 hasRelatedWork W2001919142 @default.
- W2057183321 hasRelatedWork W2076063560 @default.
- W2057183321 hasRelatedWork W2107287896 @default.
- W2057183321 hasRelatedWork W2351491280 @default.
- W2057183321 hasRelatedWork W2357379321 @default.
- W2057183321 hasRelatedWork W2376371093 @default.
- W2057183321 hasRelatedWork W303980170 @default.
- W2057183321 hasRelatedWork W3089684342 @default.
- W2057183321 hasRelatedWork W4241368207 @default.
- W2057183321 hasVolume "318" @default.
- W2057183321 isParatext "false" @default.
- W2057183321 isRetracted "false" @default.
- W2057183321 magId "2057183321" @default.
- W2057183321 workType "article" @default.