Matches in SemOpenAlex for { <https://semopenalex.org/work/W2037296871> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W2037296871 endingPage "1744" @default.
- W2037296871 startingPage "1729" @default.
- W2037296871 abstract "This paper investigates the expressiveness of Propositional Projection Temporal Logic with Star (PPTL*). To this end, Büchi automata and ω-regular expressions are first extended as Stutter Büchi Automata (SBA) and Extended Regular Expressions (ERE) to include both finite and infinite strings. Further, by equivalent transformations among PPTL* formulas, SBAs and EREs, PPTL* is proved to represent exactly the full regular language. Moreover, some fragments of PPTL* are characterized, and finally, PPTL* and its fragments are classified into five different language classes." @default.
- W2037296871 created "2016-06-24" @default.
- W2037296871 creator A5003990194 @default.
- W2037296871 creator A5071051896 @default.
- W2037296871 date "2011-04-01" @default.
- W2037296871 modified "2023-10-18" @default.
- W2037296871 title "Expressiveness of propositional projection temporal logic with star" @default.
- W2037296871 cites W2008938789 @default.
- W2037296871 cites W2021917262 @default.
- W2037296871 cites W2061841985 @default.
- W2037296871 cites W2075277371 @default.
- W2037296871 cites W2093832730 @default.
- W2037296871 cites W2107632022 @default.
- W2037296871 cites W2115309705 @default.
- W2037296871 cites W2155756511 @default.
- W2037296871 cites W2806619258 @default.
- W2037296871 doi "https://doi.org/10.1016/j.tcs.2010.12.047" @default.
- W2037296871 hasPublicationYear "2011" @default.
- W2037296871 type Work @default.
- W2037296871 sameAs 2037296871 @default.
- W2037296871 citedByCount "43" @default.
- W2037296871 countsByYear W20372968712013 @default.
- W2037296871 countsByYear W20372968712014 @default.
- W2037296871 countsByYear W20372968712015 @default.
- W2037296871 countsByYear W20372968712016 @default.
- W2037296871 countsByYear W20372968712017 @default.
- W2037296871 countsByYear W20372968712018 @default.
- W2037296871 countsByYear W20372968712019 @default.
- W2037296871 countsByYear W20372968712020 @default.
- W2037296871 countsByYear W20372968712021 @default.
- W2037296871 countsByYear W20372968712022 @default.
- W2037296871 countsByYear W20372968712023 @default.
- W2037296871 crossrefType "journal-article" @default.
- W2037296871 hasAuthorship W2037296871A5003990194 @default.
- W2037296871 hasAuthorship W2037296871A5071051896 @default.
- W2037296871 hasBestOaLocation W20372968711 @default.
- W2037296871 hasConcept C112505250 @default.
- W2037296871 hasConcept C11413529 @default.
- W2037296871 hasConcept C118615104 @default.
- W2037296871 hasConcept C33923547 @default.
- W2037296871 hasConcept C41008148 @default.
- W2037296871 hasConcept C4777664 @default.
- W2037296871 hasConcept C57493831 @default.
- W2037296871 hasConcept C69562738 @default.
- W2037296871 hasConcept C80444323 @default.
- W2037296871 hasConceptScore W2037296871C112505250 @default.
- W2037296871 hasConceptScore W2037296871C11413529 @default.
- W2037296871 hasConceptScore W2037296871C118615104 @default.
- W2037296871 hasConceptScore W2037296871C33923547 @default.
- W2037296871 hasConceptScore W2037296871C41008148 @default.
- W2037296871 hasConceptScore W2037296871C4777664 @default.
- W2037296871 hasConceptScore W2037296871C57493831 @default.
- W2037296871 hasConceptScore W2037296871C69562738 @default.
- W2037296871 hasConceptScore W2037296871C80444323 @default.
- W2037296871 hasIssue "18" @default.
- W2037296871 hasLocation W20372968711 @default.
- W2037296871 hasOpenAccess W2037296871 @default.
- W2037296871 hasPrimaryLocation W20372968711 @default.
- W2037296871 hasRelatedWork W1512091132 @default.
- W2037296871 hasRelatedWork W1514330492 @default.
- W2037296871 hasRelatedWork W153904579 @default.
- W2037296871 hasRelatedWork W1845559582 @default.
- W2037296871 hasRelatedWork W1963842936 @default.
- W2037296871 hasRelatedWork W1970601671 @default.
- W2037296871 hasRelatedWork W2093227835 @default.
- W2037296871 hasRelatedWork W2200847302 @default.
- W2037296871 hasRelatedWork W2368796975 @default.
- W2037296871 hasRelatedWork W2602338684 @default.
- W2037296871 hasVolume "412" @default.
- W2037296871 isParatext "false" @default.
- W2037296871 isRetracted "false" @default.
- W2037296871 magId "2037296871" @default.
- W2037296871 workType "article" @default.