Matches in SemOpenAlex for { <https://semopenalex.org/work/W2963615882> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W2963615882 endingPage "234" @default.
- W2963615882 startingPage "214" @default.
- W2963615882 abstract "Categorical studies of recursive data structures and their associated reasoning principles have mostly focused on two extremes: initial algebras and induction, and final coalgebras and coinduction. In this paper we study their in-betweens. We formalize notions of alternating fixed points of functors using constructions that are similar to that of free monads. We find their use in categorical modeling of accepting run trees under the Büchi and parity acceptance condition. This modeling abstracts away from states of an automaton; it can thus be thought of as the “behaviors” of systems with the Büchi or parity conditions, in a way that follows the tradition of coalgebraic modeling of system behaviors." @default.
- W2963615882 created "2019-07-30" @default.
- W2963615882 creator A5013382452 @default.
- W2963615882 creator A5057371246 @default.
- W2963615882 date "2018-01-01" @default.
- W2963615882 modified "2023-09-30" @default.
- W2963615882 title "Categorical Büchi and Parity Conditions via Alternating Fixed Points of Functors" @default.
- W2963615882 cites W1490526406 @default.
- W2963615882 cites W1561269335 @default.
- W2963615882 cites W1592061669 @default.
- W2963615882 cites W1816620374 @default.
- W2963615882 cites W1964680921 @default.
- W2963615882 cites W1992613713 @default.
- W2963615882 cites W2019671021 @default.
- W2963615882 cites W2082232201 @default.
- W2963615882 cites W2093450770 @default.
- W2963615882 cites W2410691440 @default.
- W2963615882 cites W2774269848 @default.
- W2963615882 cites W2963615882 @default.
- W2963615882 cites W3099809655 @default.
- W2963615882 cites W3101634683 @default.
- W2963615882 cites W4212983671 @default.
- W2963615882 cites W4232277105 @default.
- W2963615882 doi "https://doi.org/10.1007/978-3-030-00389-0_12" @default.
- W2963615882 hasPublicationYear "2018" @default.
- W2963615882 type Work @default.
- W2963615882 sameAs 2963615882 @default.
- W2963615882 citedByCount "1" @default.
- W2963615882 countsByYear W29636158822018 @default.
- W2963615882 crossrefType "book-chapter" @default.
- W2963615882 hasAuthorship W2963615882A5013382452 @default.
- W2963615882 hasAuthorship W2963615882A5057371246 @default.
- W2963615882 hasBestOaLocation W29636158822 @default.
- W2963615882 hasConcept C105795698 @default.
- W2963615882 hasConcept C109214941 @default.
- W2963615882 hasConcept C112505250 @default.
- W2963615882 hasConcept C118615104 @default.
- W2963615882 hasConcept C121332964 @default.
- W2963615882 hasConcept C134306372 @default.
- W2963615882 hasConcept C136119220 @default.
- W2963615882 hasConcept C156772000 @default.
- W2963615882 hasConcept C202444582 @default.
- W2963615882 hasConcept C2777151079 @default.
- W2963615882 hasConcept C33923547 @default.
- W2963615882 hasConcept C41008148 @default.
- W2963615882 hasConcept C5274069 @default.
- W2963615882 hasConcept C61445026 @default.
- W2963615882 hasConcept C80444323 @default.
- W2963615882 hasConceptScore W2963615882C105795698 @default.
- W2963615882 hasConceptScore W2963615882C109214941 @default.
- W2963615882 hasConceptScore W2963615882C112505250 @default.
- W2963615882 hasConceptScore W2963615882C118615104 @default.
- W2963615882 hasConceptScore W2963615882C121332964 @default.
- W2963615882 hasConceptScore W2963615882C134306372 @default.
- W2963615882 hasConceptScore W2963615882C136119220 @default.
- W2963615882 hasConceptScore W2963615882C156772000 @default.
- W2963615882 hasConceptScore W2963615882C202444582 @default.
- W2963615882 hasConceptScore W2963615882C2777151079 @default.
- W2963615882 hasConceptScore W2963615882C33923547 @default.
- W2963615882 hasConceptScore W2963615882C41008148 @default.
- W2963615882 hasConceptScore W2963615882C5274069 @default.
- W2963615882 hasConceptScore W2963615882C61445026 @default.
- W2963615882 hasConceptScore W2963615882C80444323 @default.
- W2963615882 hasLocation W29636158821 @default.
- W2963615882 hasLocation W29636158822 @default.
- W2963615882 hasLocation W29636158823 @default.
- W2963615882 hasOpenAccess W2963615882 @default.
- W2963615882 hasPrimaryLocation W29636158821 @default.
- W2963615882 hasRelatedWork W1613866548 @default.
- W2963615882 hasRelatedWork W1912064545 @default.
- W2963615882 hasRelatedWork W1968024712 @default.
- W2963615882 hasRelatedWork W2005692023 @default.
- W2963615882 hasRelatedWork W2150706552 @default.
- W2963615882 hasRelatedWork W2789885131 @default.
- W2963615882 hasRelatedWork W2889181096 @default.
- W2963615882 hasRelatedWork W2963615882 @default.
- W2963615882 hasRelatedWork W3134888030 @default.
- W2963615882 hasRelatedWork W4298165295 @default.
- W2963615882 isParatext "false" @default.
- W2963615882 isRetracted "false" @default.
- W2963615882 magId "2963615882" @default.
- W2963615882 workType "book-chapter" @default.