Matches in SemOpenAlex for { <https://semopenalex.org/work/W2003227046> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W2003227046 endingPage "749" @default.
- W2003227046 startingPage "733" @default.
- W2003227046 abstract "The complexity of satisfiability and determination of truth in a particular finite structure are considered for different propositional linear temporal logics. It is shown that these problems are NP-complete for the logic with F and are PSPACE-complete for the logics with F, X, with U, with U, S, X operators and for the extended logic with regular operators given by Wolper." @default.
- W2003227046 created "2016-06-24" @default.
- W2003227046 creator A5035821371 @default.
- W2003227046 creator A5090974026 @default.
- W2003227046 date "1985-07-01" @default.
- W2003227046 modified "2023-10-13" @default.
- W2003227046 title "The complexity of propositional linear temporal logics" @default.
- W2003227046 cites W1981561399 @default.
- W2003227046 cites W1982129592 @default.
- W2003227046 doi "https://doi.org/10.1145/3828.3837" @default.
- W2003227046 hasPublicationYear "1985" @default.
- W2003227046 type Work @default.
- W2003227046 sameAs 2003227046 @default.
- W2003227046 citedByCount "1014" @default.
- W2003227046 countsByYear W20032270462012 @default.
- W2003227046 countsByYear W20032270462013 @default.
- W2003227046 countsByYear W20032270462014 @default.
- W2003227046 countsByYear W20032270462015 @default.
- W2003227046 countsByYear W20032270462016 @default.
- W2003227046 countsByYear W20032270462017 @default.
- W2003227046 countsByYear W20032270462018 @default.
- W2003227046 countsByYear W20032270462019 @default.
- W2003227046 countsByYear W20032270462020 @default.
- W2003227046 countsByYear W20032270462021 @default.
- W2003227046 countsByYear W20032270462022 @default.
- W2003227046 countsByYear W20032270462023 @default.
- W2003227046 crossrefType "journal-article" @default.
- W2003227046 hasAuthorship W2003227046A5035821371 @default.
- W2003227046 hasAuthorship W2003227046A5090974026 @default.
- W2003227046 hasBestOaLocation W20032270461 @default.
- W2003227046 hasConcept C102993220 @default.
- W2003227046 hasConcept C11413529 @default.
- W2003227046 hasConcept C118615104 @default.
- W2003227046 hasConcept C14523651 @default.
- W2003227046 hasConcept C154945302 @default.
- W2003227046 hasConcept C168773769 @default.
- W2003227046 hasConcept C179799912 @default.
- W2003227046 hasConcept C1883856 @default.
- W2003227046 hasConcept C191222856 @default.
- W2003227046 hasConcept C197685441 @default.
- W2003227046 hasConcept C33203268 @default.
- W2003227046 hasConcept C33923547 @default.
- W2003227046 hasConcept C41008148 @default.
- W2003227046 hasConcept C42011625 @default.
- W2003227046 hasConcept C4777664 @default.
- W2003227046 hasConcept C5263885 @default.
- W2003227046 hasConcept C58166 @default.
- W2003227046 hasConcept C69562738 @default.
- W2003227046 hasConcept C80444323 @default.
- W2003227046 hasConcept C86602344 @default.
- W2003227046 hasConcept C98224912 @default.
- W2003227046 hasConceptScore W2003227046C102993220 @default.
- W2003227046 hasConceptScore W2003227046C11413529 @default.
- W2003227046 hasConceptScore W2003227046C118615104 @default.
- W2003227046 hasConceptScore W2003227046C14523651 @default.
- W2003227046 hasConceptScore W2003227046C154945302 @default.
- W2003227046 hasConceptScore W2003227046C168773769 @default.
- W2003227046 hasConceptScore W2003227046C179799912 @default.
- W2003227046 hasConceptScore W2003227046C1883856 @default.
- W2003227046 hasConceptScore W2003227046C191222856 @default.
- W2003227046 hasConceptScore W2003227046C197685441 @default.
- W2003227046 hasConceptScore W2003227046C33203268 @default.
- W2003227046 hasConceptScore W2003227046C33923547 @default.
- W2003227046 hasConceptScore W2003227046C41008148 @default.
- W2003227046 hasConceptScore W2003227046C42011625 @default.
- W2003227046 hasConceptScore W2003227046C4777664 @default.
- W2003227046 hasConceptScore W2003227046C5263885 @default.
- W2003227046 hasConceptScore W2003227046C58166 @default.
- W2003227046 hasConceptScore W2003227046C69562738 @default.
- W2003227046 hasConceptScore W2003227046C80444323 @default.
- W2003227046 hasConceptScore W2003227046C86602344 @default.
- W2003227046 hasConceptScore W2003227046C98224912 @default.
- W2003227046 hasIssue "3" @default.
- W2003227046 hasLocation W20032270461 @default.
- W2003227046 hasOpenAccess W2003227046 @default.
- W2003227046 hasPrimaryLocation W20032270461 @default.
- W2003227046 hasRelatedWork W1529326889 @default.
- W2003227046 hasRelatedWork W1535158818 @default.
- W2003227046 hasRelatedWork W1991802248 @default.
- W2003227046 hasRelatedWork W2003227046 @default.
- W2003227046 hasRelatedWork W2018794476 @default.
- W2003227046 hasRelatedWork W2047769025 @default.
- W2003227046 hasRelatedWork W2171568542 @default.
- W2003227046 hasRelatedWork W2627030740 @default.
- W2003227046 hasRelatedWork W2964051209 @default.
- W2003227046 hasRelatedWork W3148603535 @default.
- W2003227046 hasVolume "32" @default.
- W2003227046 isParatext "false" @default.
- W2003227046 isRetracted "false" @default.
- W2003227046 magId "2003227046" @default.
- W2003227046 workType "article" @default.