Matches in SemOpenAlex for { <https://semopenalex.org/work/W1991388620> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W1991388620 endingPage "291" @default.
- W1991388620 startingPage "267" @default.
- W1991388620 abstract "We study the computational complexity of the model checking problem for quantifier-free dependence logic $${(mathcal{D})}$$ formulas. We characterize three thresholds in the complexity: logarithmic space (LOGSPACE), non-deterministic logarithmic space (NL) and non-deterministic polynomial time (NP)." @default.
- W1991388620 created "2016-06-24" @default.
- W1991388620 creator A5055038430 @default.
- W1991388620 date "2013-03-09" @default.
- W1991388620 modified "2023-09-25" @default.
- W1991388620 title "Coherence and Computational Complexity of Quantifier-free Dependence Logic Formulas" @default.
- W1991388620 cites W2007760364 @default.
- W1991388620 cites W2401610261 @default.
- W1991388620 cites W4252380885 @default.
- W1991388620 doi "https://doi.org/10.1007/s11225-013-9481-8" @default.
- W1991388620 hasPublicationYear "2013" @default.
- W1991388620 type Work @default.
- W1991388620 sameAs 1991388620 @default.
- W1991388620 citedByCount "30" @default.
- W1991388620 countsByYear W19913886202012 @default.
- W1991388620 countsByYear W19913886202013 @default.
- W1991388620 countsByYear W19913886202014 @default.
- W1991388620 countsByYear W19913886202015 @default.
- W1991388620 countsByYear W19913886202016 @default.
- W1991388620 countsByYear W19913886202018 @default.
- W1991388620 countsByYear W19913886202019 @default.
- W1991388620 countsByYear W19913886202020 @default.
- W1991388620 countsByYear W19913886202021 @default.
- W1991388620 countsByYear W19913886202022 @default.
- W1991388620 crossrefType "journal-article" @default.
- W1991388620 hasAuthorship W1991388620A5055038430 @default.
- W1991388620 hasBestOaLocation W19913886202 @default.
- W1991388620 hasConcept C105795698 @default.
- W1991388620 hasConcept C11413529 @default.
- W1991388620 hasConcept C118615104 @default.
- W1991388620 hasConcept C121332964 @default.
- W1991388620 hasConcept C131583701 @default.
- W1991388620 hasConcept C133142742 @default.
- W1991388620 hasConcept C134306372 @default.
- W1991388620 hasConcept C154945302 @default.
- W1991388620 hasConcept C179799912 @default.
- W1991388620 hasConcept C197685441 @default.
- W1991388620 hasConcept C2778523021 @default.
- W1991388620 hasConcept C2781181686 @default.
- W1991388620 hasConcept C311688 @default.
- W1991388620 hasConcept C32278780 @default.
- W1991388620 hasConcept C33923547 @default.
- W1991388620 hasConcept C39637292 @default.
- W1991388620 hasConcept C39927690 @default.
- W1991388620 hasConcept C41008148 @default.
- W1991388620 hasConcept C58053490 @default.
- W1991388620 hasConcept C62520636 @default.
- W1991388620 hasConcept C84114770 @default.
- W1991388620 hasConcept C90119067 @default.
- W1991388620 hasConcept C92043244 @default.
- W1991388620 hasConceptScore W1991388620C105795698 @default.
- W1991388620 hasConceptScore W1991388620C11413529 @default.
- W1991388620 hasConceptScore W1991388620C118615104 @default.
- W1991388620 hasConceptScore W1991388620C121332964 @default.
- W1991388620 hasConceptScore W1991388620C131583701 @default.
- W1991388620 hasConceptScore W1991388620C133142742 @default.
- W1991388620 hasConceptScore W1991388620C134306372 @default.
- W1991388620 hasConceptScore W1991388620C154945302 @default.
- W1991388620 hasConceptScore W1991388620C179799912 @default.
- W1991388620 hasConceptScore W1991388620C197685441 @default.
- W1991388620 hasConceptScore W1991388620C2778523021 @default.
- W1991388620 hasConceptScore W1991388620C2781181686 @default.
- W1991388620 hasConceptScore W1991388620C311688 @default.
- W1991388620 hasConceptScore W1991388620C32278780 @default.
- W1991388620 hasConceptScore W1991388620C33923547 @default.
- W1991388620 hasConceptScore W1991388620C39637292 @default.
- W1991388620 hasConceptScore W1991388620C39927690 @default.
- W1991388620 hasConceptScore W1991388620C41008148 @default.
- W1991388620 hasConceptScore W1991388620C58053490 @default.
- W1991388620 hasConceptScore W1991388620C62520636 @default.
- W1991388620 hasConceptScore W1991388620C84114770 @default.
- W1991388620 hasConceptScore W1991388620C90119067 @default.
- W1991388620 hasConceptScore W1991388620C92043244 @default.
- W1991388620 hasIssue "2" @default.
- W1991388620 hasLocation W19913886201 @default.
- W1991388620 hasLocation W19913886202 @default.
- W1991388620 hasOpenAccess W1991388620 @default.
- W1991388620 hasPrimaryLocation W19913886201 @default.
- W1991388620 hasRelatedWork W1495098865 @default.
- W1991388620 hasRelatedWork W1504200807 @default.
- W1991388620 hasRelatedWork W1548115644 @default.
- W1991388620 hasRelatedWork W1982758739 @default.
- W1991388620 hasRelatedWork W1991388620 @default.
- W1991388620 hasRelatedWork W2161147766 @default.
- W1991388620 hasRelatedWork W2163068410 @default.
- W1991388620 hasRelatedWork W2295040078 @default.
- W1991388620 hasRelatedWork W2327776271 @default.
- W1991388620 hasRelatedWork W3103522412 @default.
- W1991388620 hasVolume "101" @default.
- W1991388620 isParatext "false" @default.
- W1991388620 isRetracted "false" @default.
- W1991388620 magId "1991388620" @default.
- W1991388620 workType "article" @default.