FRINK Linked Data Fragments server

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

• W1591239571 endingPage "368" @default.
• W1591239571 startingPage "354" @default.
• W1591239571 abstract "We study the logical definablity of the winning regions of parity games. For games with a bounded number of priorities, it is well-known that the winning regions are definable in the modal μ-calculus. Here we investigate the case of an unbounded number of priorities, both for finite game graphs and for arbitrary ones. In the general case, winning regions are definable in guarded second-order logic (GSO), but not in least-fixed point logic (LFP). On finite game graphs, winning regions are LFP-definable if, and only if, they are computable in polynomial time, and this result extends to any class of finite games that is closed under taking bisimulation quotients." @default.
• W1591239571 created "2016-06-24" @default.
• W1591239571 creator A5010064604 @default.
• W1591239571 creator A5080843415 @default.
• W1591239571 date "2008-08-30" @default.
• W1591239571 modified "2023-10-02" @default.
• W1591239571 title "The Descriptive Complexity of Parity Games" @default.
• W1591239571 cites W1487444734 @default.
• W1591239571 cites W1505081061 @default.
• W1591239571 cites W1567990440 @default.
• W1591239571 cites W1963823779 @default.
• W1591239571 cites W1981996395 @default.
• W1591239571 cites W1984930242 @default.
• W1591239571 cites W2008770438 @default.
• W1591239571 cites W2060375000 @default.
• W1591239571 cites W2069462712 @default.
• W1591239571 cites W2124324342 @default.
• W1591239571 cites W2126399192 @default.
• W1591239571 cites W2133853963 @default.
• W1591239571 cites W2142133061 @default.
• W1591239571 cites W2145019049 @default.
• W1591239571 cites W2168498451 @default.
• W1591239571 cites W2170933628 @default.
• W1591239571 cites W2179506702 @default.
• W1591239571 cites W3101910935 @default.
• W1591239571 cites W4240256729 @default.
• W1591239571 cites W4244848635 @default.
• W1591239571 cites W59373101 @default.
• W1591239571 doi "https://doi.org/10.1007/978-3-540-87531-4_26" @default.
• W1591239571 hasPublicationYear "2008" @default.
• W1591239571 type Work @default.
• W1591239571 sameAs 1591239571 @default.
• W1591239571 citedByCount "17" @default.
• W1591239571 countsByYear W15912395712014 @default.
• W1591239571 countsByYear W15912395712015 @default.
• W1591239571 countsByYear W15912395712016 @default.
• W1591239571 countsByYear W15912395712017 @default.
• W1591239571 countsByYear W15912395712018 @default.
• W1591239571 countsByYear W15912395712020 @default.
• W1591239571 countsByYear W15912395712021 @default.
• W1591239571 crossrefType "book-chapter" @default.
• W1591239571 hasAuthorship W1591239571A5010064604 @default.
• W1591239571 hasAuthorship W1591239571A5080843415 @default.
• W1591239571 hasBestOaLocation W15912395712 @default.
• W1591239571 hasConcept C102234262 @default.
• W1591239571 hasConcept C109214941 @default.
• W1591239571 hasConcept C114614502 @default.
• W1591239571 hasConcept C118615104 @default.
• W1591239571 hasConcept C121332964 @default.
• W1591239571 hasConcept C133142742 @default.
• W1591239571 hasConcept C134306372 @default.
• W1591239571 hasConcept C135315306 @default.
• W1591239571 hasConcept C144237770 @default.
• W1591239571 hasConcept C177142836 @default.
• W1591239571 hasConcept C185592680 @default.
• W1591239571 hasConcept C188027245 @default.
• W1591239571 hasConcept C199422724 @default.
• W1591239571 hasConcept C202556891 @default.
• W1591239571 hasConcept C27508121 @default.
• W1591239571 hasConcept C2777151079 @default.
• W1591239571 hasConcept C311688 @default.
• W1591239571 hasConcept C33923547 @default.
• W1591239571 hasConcept C34388435 @default.
• W1591239571 hasConcept C41008148 @default.
• W1591239571 hasConcept C71139939 @default.
• W1591239571 hasConceptScore W1591239571C102234262 @default.
• W1591239571 hasConceptScore W1591239571C109214941 @default.
• W1591239571 hasConceptScore W1591239571C114614502 @default.
• W1591239571 hasConceptScore W1591239571C118615104 @default.
• W1591239571 hasConceptScore W1591239571C121332964 @default.
• W1591239571 hasConceptScore W1591239571C133142742 @default.
• W1591239571 hasConceptScore W1591239571C134306372 @default.
• W1591239571 hasConceptScore W1591239571C135315306 @default.
• W1591239571 hasConceptScore W1591239571C144237770 @default.
• W1591239571 hasConceptScore W1591239571C177142836 @default.
• W1591239571 hasConceptScore W1591239571C185592680 @default.
• W1591239571 hasConceptScore W1591239571C188027245 @default.
• W1591239571 hasConceptScore W1591239571C199422724 @default.
• W1591239571 hasConceptScore W1591239571C202556891 @default.
• W1591239571 hasConceptScore W1591239571C27508121 @default.
• W1591239571 hasConceptScore W1591239571C2777151079 @default.
• W1591239571 hasConceptScore W1591239571C311688 @default.
• W1591239571 hasConceptScore W1591239571C33923547 @default.
• W1591239571 hasConceptScore W1591239571C34388435 @default.
• W1591239571 hasConceptScore W1591239571C41008148 @default.
• W1591239571 hasConceptScore W1591239571C71139939 @default.
• W1591239571 hasLocation W15912395711 @default.
• W1591239571 hasLocation W15912395712 @default.
• W1591239571 hasOpenAccess W1591239571 @default.
• W1591239571 hasPrimaryLocation W15912395711 @default.
• W1591239571 hasRelatedWork W1498934487 @default.
• W1591239571 hasRelatedWork W1515412030 @default.
• W1591239571 hasRelatedWork W2018812956 @default.
• W1591239571 hasRelatedWork W2115136657 @default.
• W1591239571 hasRelatedWork W2794771199 @default.
• W1591239571 hasRelatedWork W2810752651 @default.
• W1591239571 hasRelatedWork W2951278920 @default.
• W1591239571 hasRelatedWork W4294810627 @default.

• next