Matches in SemOpenAlex for { <https://semopenalex.org/work/W1533366845> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W1533366845 endingPage "200" @default.
- W1533366845 startingPage "191" @default.
- W1533366845 abstract "We associate a temporal logic XTL $({mathcal L})$ with each class $mathcal L$ of (regular) tree languages and provide both an algebraic and a game-theoretic characterization of the expressive power of the logic XTL( $mathcal L$ )." @default.
- W1533366845 created "2016-06-24" @default.
- W1533366845 creator A5017293831 @default.
- W1533366845 creator A5072375064 @default.
- W1533366845 date "2008-07-22" @default.
- W1533366845 modified "2023-09-23" @default.
- W1533366845 title "Games for Temporal Logics on Trees" @default.
- W1533366845 cites W1515534319 @default.
- W1533366845 cites W1528847705 @default.
- W1533366845 cites W1573914019 @default.
- W1533366845 cites W1949820592 @default.
- W1533366845 cites W1971672075 @default.
- W1533366845 cites W2000145655 @default.
- W1533366845 cites W200063938 @default.
- W1533366845 cites W2048355938 @default.
- W1533366845 cites W2069428344 @default.
- W1533366845 cites W2093913332 @default.
- W1533366845 cites W2143084149 @default.
- W1533366845 cites W2175748456 @default.
- W1533366845 cites W4213165878 @default.
- W1533366845 cites W4213287418 @default.
- W1533366845 doi "https://doi.org/10.1007/978-3-540-70844-5_20" @default.
- W1533366845 hasPublicationYear "2008" @default.
- W1533366845 type Work @default.
- W1533366845 sameAs 1533366845 @default.
- W1533366845 citedByCount "0" @default.
- W1533366845 crossrefType "book-chapter" @default.
- W1533366845 hasAuthorship W1533366845A5017293831 @default.
- W1533366845 hasAuthorship W1533366845A5072375064 @default.
- W1533366845 hasConcept C113174947 @default.
- W1533366845 hasConcept C114614502 @default.
- W1533366845 hasConcept C118615104 @default.
- W1533366845 hasConcept C120665830 @default.
- W1533366845 hasConcept C121332964 @default.
- W1533366845 hasConcept C134306372 @default.
- W1533366845 hasConcept C136119220 @default.
- W1533366845 hasConcept C154945302 @default.
- W1533366845 hasConcept C195818886 @default.
- W1533366845 hasConcept C202444582 @default.
- W1533366845 hasConcept C25016198 @default.
- W1533366845 hasConcept C2777212361 @default.
- W1533366845 hasConcept C2780841128 @default.
- W1533366845 hasConcept C33923547 @default.
- W1533366845 hasConcept C41008148 @default.
- W1533366845 hasConcept C80444323 @default.
- W1533366845 hasConcept C9376300 @default.
- W1533366845 hasConceptScore W1533366845C113174947 @default.
- W1533366845 hasConceptScore W1533366845C114614502 @default.
- W1533366845 hasConceptScore W1533366845C118615104 @default.
- W1533366845 hasConceptScore W1533366845C120665830 @default.
- W1533366845 hasConceptScore W1533366845C121332964 @default.
- W1533366845 hasConceptScore W1533366845C134306372 @default.
- W1533366845 hasConceptScore W1533366845C136119220 @default.
- W1533366845 hasConceptScore W1533366845C154945302 @default.
- W1533366845 hasConceptScore W1533366845C195818886 @default.
- W1533366845 hasConceptScore W1533366845C202444582 @default.
- W1533366845 hasConceptScore W1533366845C25016198 @default.
- W1533366845 hasConceptScore W1533366845C2777212361 @default.
- W1533366845 hasConceptScore W1533366845C2780841128 @default.
- W1533366845 hasConceptScore W1533366845C33923547 @default.
- W1533366845 hasConceptScore W1533366845C41008148 @default.
- W1533366845 hasConceptScore W1533366845C80444323 @default.
- W1533366845 hasConceptScore W1533366845C9376300 @default.
- W1533366845 hasLocation W15333668451 @default.
- W1533366845 hasOpenAccess W1533366845 @default.
- W1533366845 hasPrimaryLocation W15333668451 @default.
- W1533366845 hasRelatedWork W1524158331 @default.
- W1533366845 hasRelatedWork W1546948343 @default.
- W1533366845 hasRelatedWork W1866352889 @default.
- W1533366845 hasRelatedWork W2104974242 @default.
- W1533366845 hasRelatedWork W2108597517 @default.
- W1533366845 hasRelatedWork W2114606107 @default.
- W1533366845 hasRelatedWork W2706019717 @default.
- W1533366845 hasRelatedWork W2941394577 @default.
- W1533366845 hasRelatedWork W2954144948 @default.
- W1533366845 hasRelatedWork W81862329 @default.
- W1533366845 isParatext "false" @default.
- W1533366845 isRetracted "false" @default.
- W1533366845 magId "1533366845" @default.
- W1533366845 workType "book-chapter" @default.