Matches in SemOpenAlex for { <https://semopenalex.org/work/W4287162144> ?p ?o ?g. }
Showing items 1 to 66 of
66
with 100 items per page.
- W4287162144 abstract "We give a comprehensive account on the parameterized complexity of model checking and satisfiability of propositional inclusion and independence logic. We discover that for most parameterizations the problems are either in FPT or paraNP-complete." @default.
- W4287162144 created "2022-07-25" @default.
- W4287162144 creator A5011855160 @default.
- W4287162144 creator A5073358565 @default.
- W4287162144 date "2021-05-31" @default.
- W4287162144 modified "2023-09-30" @default.
- W4287162144 title "Parameterised Complexity of Propositional Inclusion and Independence Logic" @default.
- W4287162144 doi "https://doi.org/10.48550/arxiv.2105.14887" @default.
- W4287162144 hasPublicationYear "2021" @default.
- W4287162144 type Work @default.
- W4287162144 citedByCount "0" @default.
- W4287162144 crossrefType "posted-content" @default.
- W4287162144 hasAuthorship W4287162144A5011855160 @default.
- W4287162144 hasAuthorship W4287162144A5073358565 @default.
- W4287162144 hasBestOaLocation W42871621441 @default.
- W4287162144 hasConcept C102993220 @default.
- W4287162144 hasConcept C105795698 @default.
- W4287162144 hasConcept C110039528 @default.
- W4287162144 hasConcept C11413529 @default.
- W4287162144 hasConcept C14523651 @default.
- W4287162144 hasConcept C165464430 @default.
- W4287162144 hasConcept C168773769 @default.
- W4287162144 hasConcept C191222856 @default.
- W4287162144 hasConcept C199360897 @default.
- W4287162144 hasConcept C203659156 @default.
- W4287162144 hasConcept C33203268 @default.
- W4287162144 hasConcept C33923547 @default.
- W4287162144 hasConcept C35651441 @default.
- W4287162144 hasConcept C3845977 @default.
- W4287162144 hasConcept C41008148 @default.
- W4287162144 hasConcept C69562738 @default.
- W4287162144 hasConcept C80444323 @default.
- W4287162144 hasConceptScore W4287162144C102993220 @default.
- W4287162144 hasConceptScore W4287162144C105795698 @default.
- W4287162144 hasConceptScore W4287162144C110039528 @default.
- W4287162144 hasConceptScore W4287162144C11413529 @default.
- W4287162144 hasConceptScore W4287162144C14523651 @default.
- W4287162144 hasConceptScore W4287162144C165464430 @default.
- W4287162144 hasConceptScore W4287162144C168773769 @default.
- W4287162144 hasConceptScore W4287162144C191222856 @default.
- W4287162144 hasConceptScore W4287162144C199360897 @default.
- W4287162144 hasConceptScore W4287162144C203659156 @default.
- W4287162144 hasConceptScore W4287162144C33203268 @default.
- W4287162144 hasConceptScore W4287162144C33923547 @default.
- W4287162144 hasConceptScore W4287162144C35651441 @default.
- W4287162144 hasConceptScore W4287162144C3845977 @default.
- W4287162144 hasConceptScore W4287162144C41008148 @default.
- W4287162144 hasConceptScore W4287162144C69562738 @default.
- W4287162144 hasConceptScore W4287162144C80444323 @default.
- W4287162144 hasLocation W42871621441 @default.
- W4287162144 hasLocation W42871621442 @default.
- W4287162144 hasOpenAccess W4287162144 @default.
- W4287162144 hasPrimaryLocation W42871621441 @default.
- W4287162144 hasRelatedWork W1545257085 @default.
- W4287162144 hasRelatedWork W1966759732 @default.
- W4287162144 hasRelatedWork W2002015997 @default.
- W4287162144 hasRelatedWork W2158975365 @default.
- W4287162144 hasRelatedWork W2560839612 @default.
- W4287162144 hasRelatedWork W2666015 @default.
- W4287162144 hasRelatedWork W3011063628 @default.
- W4287162144 hasRelatedWork W4288356646 @default.
- W4287162144 hasRelatedWork W56816291 @default.
- W4287162144 hasRelatedWork W2809620329 @default.
- W4287162144 isParatext "false" @default.
- W4287162144 isRetracted "false" @default.
- W4287162144 workType "article" @default.