FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2086440639> ?p ?o ?g. }

• W2086440639 abstract "We investigate extensions of temporal logic by finite automata on infinite words. There are three different types of acceptance conditions (finite, looping and repeating) that one can give for these finite automata. This gives rise to three different logics. It turns out, however. that these logics have the same expressive power but differ in the complexity of their decision problem. We also investigate the addition of alternation and show that it does not increase the complexity of the decision problem." @default.
• W2086440639 created "2016-06-24" @default.
• W2086440639 creator A5000059818 @default.
• W2086440639 creator A5035821371 @default.
• W2086440639 creator A5074692660 @default.
• W2086440639 date "1983-11-01" @default.
• W2086440639 modified "2023-10-13" @default.
• W2086440639 title "Reasoning about infinite computation paths" @default.
• W2086440639 cites W1505623810 @default.
• W2086440639 cites W1508780728 @default.
• W2086440639 cites W1577412708 @default.
• W2086440639 cites W1967494119 @default.
• W2086440639 cites W1975653808 @default.
• W2086440639 cites W1976772375 @default.
• W2086440639 cites W1997716585 @default.
• W2086440639 cites W2018794476 @default.
• W2086440639 cites W2021711161 @default.
• W2086440639 cites W2023808162 @default.
• W2086440639 cites W2026134631 @default.
• W2086440639 cites W2036455553 @default.
• W2086440639 cites W2059034970 @default.
• W2086440639 cites W2063230375 @default.
• W2086440639 cites W2066949643 @default.
• W2086440639 cites W2069709605 @default.
• W2086440639 cites W2075920544 @default.
• W2086440639 cites W2094912129 @default.
• W2086440639 cites W2137865376 @default.
• W2086440639 cites W2157319504 @default.
• W2086440639 cites W4241108585 @default.
• W2086440639 doi "https://doi.org/10.1109/sfcs.1983.51" @default.
• W2086440639 hasPublicationYear "1983" @default.
• W2086440639 type Work @default.
• W2086440639 sameAs 2086440639 @default.
• W2086440639 citedByCount "232" @default.
• W2086440639 countsByYear W20864406392012 @default.
• W2086440639 countsByYear W20864406392013 @default.
• W2086440639 countsByYear W20864406392014 @default.
• W2086440639 countsByYear W20864406392015 @default.
• W2086440639 countsByYear W20864406392016 @default.
• W2086440639 countsByYear W20864406392017 @default.
• W2086440639 countsByYear W20864406392018 @default.
• W2086440639 countsByYear W20864406392019 @default.
• W2086440639 countsByYear W20864406392020 @default.
• W2086440639 countsByYear W20864406392021 @default.
• W2086440639 countsByYear W20864406392022 @default.
• W2086440639 countsByYear W20864406392023 @default.
• W2086440639 crossrefType "proceedings-article" @default.
• W2086440639 hasAuthorship W2086440639A5000059818 @default.
• W2086440639 hasAuthorship W2086440639A5035821371 @default.
• W2086440639 hasAuthorship W2086440639A5074692660 @default.
• W2086440639 hasConcept C112505250 @default.
• W2086440639 hasConcept C11413529 @default.
• W2086440639 hasConcept C115988155 @default.
• W2086440639 hasConcept C118615104 @default.
• W2086440639 hasConcept C136119220 @default.
• W2086440639 hasConcept C138885662 @default.
• W2086440639 hasConcept C167822520 @default.
• W2086440639 hasConcept C179799912 @default.
• W2086440639 hasConcept C195818886 @default.
• W2086440639 hasConcept C202444582 @default.
• W2086440639 hasConcept C25016198 @default.
• W2086440639 hasConcept C26826806 @default.
• W2086440639 hasConcept C33923547 @default.
• W2086440639 hasConcept C41008148 @default.
• W2086440639 hasConcept C41895202 @default.
• W2086440639 hasConcept C45374587 @default.
• W2086440639 hasConcept C80444323 @default.
• W2086440639 hasConceptScore W2086440639C112505250 @default.
• W2086440639 hasConceptScore W2086440639C11413529 @default.
• W2086440639 hasConceptScore W2086440639C115988155 @default.
• W2086440639 hasConceptScore W2086440639C118615104 @default.
• W2086440639 hasConceptScore W2086440639C136119220 @default.
• W2086440639 hasConceptScore W2086440639C138885662 @default.
• W2086440639 hasConceptScore W2086440639C167822520 @default.
• W2086440639 hasConceptScore W2086440639C179799912 @default.
• W2086440639 hasConceptScore W2086440639C195818886 @default.
• W2086440639 hasConceptScore W2086440639C202444582 @default.
• W2086440639 hasConceptScore W2086440639C25016198 @default.
• W2086440639 hasConceptScore W2086440639C26826806 @default.
• W2086440639 hasConceptScore W2086440639C33923547 @default.
• W2086440639 hasConceptScore W2086440639C41008148 @default.
• W2086440639 hasConceptScore W2086440639C41895202 @default.
• W2086440639 hasConceptScore W2086440639C45374587 @default.
• W2086440639 hasConceptScore W2086440639C80444323 @default.
• W2086440639 hasLocation W20864406391 @default.
• W2086440639 hasOpenAccess W2086440639 @default.
• W2086440639 hasPrimaryLocation W20864406391 @default.
• W2086440639 hasRelatedWork W1514316408 @default.
• W2086440639 hasRelatedWork W1963128506 @default.
• W2086440639 hasRelatedWork W1998387957 @default.
• W2086440639 hasRelatedWork W2114192613 @default.
• W2086440639 hasRelatedWork W2168791893 @default.
• W2086440639 hasRelatedWork W3102258445 @default.
• W2086440639 hasRelatedWork W3175774282 @default.
• W2086440639 hasRelatedWork W4213322697 @default.
• W2086440639 hasRelatedWork W4314947449 @default.
• W2086440639 hasRelatedWork W4387188591 @default.
• W2086440639 isParatext "false" @default.
• W2086440639 isRetracted "false" @default.
• W2086440639 magId "2086440639" @default.

• next