Matches in SemOpenAlex for { <https://semopenalex.org/work/W4287641367> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W4287641367 abstract "This paper studies the logical properties of a very general class of infinite ranked trees, namely those generated by higher-order recursion schemes. We consider, for both monadic second-order logic and modal mu-calculus, three main problems: model-checking, logical reflection (aka global model-checking, that asks for a finite description of the set of elements for which a formula holds) and selection (that asks, if exists, for some finite description of a set of elements for which an MSO formula with a second-order free variable holds). For each of these problems we provide an effective solution. This is obtained thanks to a known connection between higher-order recursion schemes and collapsible pushdown automata and on previous work regarding parity games played on transition graphs of collapsible pushdown automata." @default.
- W4287641367 created "2022-07-25" @default.
- W4287641367 creator A5003802384 @default.
- W4287641367 creator A5034113102 @default.
- W4287641367 creator A5057935060 @default.
- W4287641367 creator A5091508237 @default.
- W4287641367 date "2020-10-13" @default.
- W4287641367 modified "2023-09-24" @default.
- W4287641367 title "Higher-Order Recursion Schemes and Collapsible Pushdown Automata: Logical Properties" @default.
- W4287641367 doi "https://doi.org/10.48550/arxiv.2010.06366" @default.
- W4287641367 hasPublicationYear "2020" @default.
- W4287641367 type Work @default.
- W4287641367 citedByCount "0" @default.
- W4287641367 crossrefType "posted-content" @default.
- W4287641367 hasAuthorship W4287641367A5003802384 @default.
- W4287641367 hasAuthorship W4287641367A5034113102 @default.
- W4287641367 hasAuthorship W4287641367A5057935060 @default.
- W4287641367 hasAuthorship W4287641367A5091508237 @default.
- W4287641367 hasBestOaLocation W42876413671 @default.
- W4287641367 hasConcept C112505250 @default.
- W4287641367 hasConcept C11413529 @default.
- W4287641367 hasConcept C116248031 @default.
- W4287641367 hasConcept C118615104 @default.
- W4287641367 hasConcept C153269930 @default.
- W4287641367 hasConcept C154945302 @default.
- W4287641367 hasConcept C158008952 @default.
- W4287641367 hasConcept C168773036 @default.
- W4287641367 hasConcept C2777212361 @default.
- W4287641367 hasConcept C33923547 @default.
- W4287641367 hasConcept C41008148 @default.
- W4287641367 hasConcept C74919329 @default.
- W4287641367 hasConcept C77944639 @default.
- W4287641367 hasConcept C80444323 @default.
- W4287641367 hasConceptScore W4287641367C112505250 @default.
- W4287641367 hasConceptScore W4287641367C11413529 @default.
- W4287641367 hasConceptScore W4287641367C116248031 @default.
- W4287641367 hasConceptScore W4287641367C118615104 @default.
- W4287641367 hasConceptScore W4287641367C153269930 @default.
- W4287641367 hasConceptScore W4287641367C154945302 @default.
- W4287641367 hasConceptScore W4287641367C158008952 @default.
- W4287641367 hasConceptScore W4287641367C168773036 @default.
- W4287641367 hasConceptScore W4287641367C2777212361 @default.
- W4287641367 hasConceptScore W4287641367C33923547 @default.
- W4287641367 hasConceptScore W4287641367C41008148 @default.
- W4287641367 hasConceptScore W4287641367C74919329 @default.
- W4287641367 hasConceptScore W4287641367C77944639 @default.
- W4287641367 hasConceptScore W4287641367C80444323 @default.
- W4287641367 hasLocation W42876413671 @default.
- W4287641367 hasLocation W42876413672 @default.
- W4287641367 hasLocation W42876413673 @default.
- W4287641367 hasOpenAccess W4287641367 @default.
- W4287641367 hasPrimaryLocation W42876413671 @default.
- W4287641367 hasRelatedWork W1493005098 @default.
- W4287641367 hasRelatedWork W1562818191 @default.
- W4287641367 hasRelatedWork W2008234710 @default.
- W4287641367 hasRelatedWork W2041168146 @default.
- W4287641367 hasRelatedWork W2069826658 @default.
- W4287641367 hasRelatedWork W2097795376 @default.
- W4287641367 hasRelatedWork W2186244857 @default.
- W4287641367 hasRelatedWork W2541894000 @default.
- W4287641367 hasRelatedWork W2950911169 @default.
- W4287641367 hasRelatedWork W2995466559 @default.
- W4287641367 isParatext "false" @default.
- W4287641367 isRetracted "false" @default.
- W4287641367 workType "article" @default.