FRINK Linked Data Fragments server

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

• W1526446965 endingPage "31" @default.
• W1526446965 startingPage "16" @default.
• W1526446965 abstract "We show how solutions to many recursive arena equations can be computed in a natural way by allowing loops in arenas. We then equip arenas with winning functions and total winning strategies. We present two natural winning conditions compatible with the loop construction which respectively provide initial algebras and terminal coalgebras for a large class of continuous functors. Finally, we introduce an intuitionistic sequent calculus, extended with syntactic constructions for least and greatest fixed points, and prove it has a sound and (in a certain weak sense) complete interpretation in our game model." @default.
• W1526446965 created "2016-06-24" @default.
• W1526446965 creator A5008333115 @default.
• W1526446965 date "2009-01-01" @default.
• W1526446965 modified "2023-10-18" @default.
• W1526446965 title "Least and Greatest Fixpoints in Game Semantics" @default.
• W1526446965 cites W1525064220 @default.
• W1526446965 cites W1526036637 @default.
• W1526446965 cites W1736942297 @default.
• W1526446965 cites W1870018393 @default.
• W1526446965 cites W1877442346 @default.
• W1526446965 cites W1889888010 @default.
• W1526446965 cites W2024189573 @default.
• W1526446965 cites W2026224392 @default.
• W1526446965 cites W2046213250 @default.
• W1526446965 cites W2058174669 @default.
• W1526446965 cites W2059775725 @default.
• W1526446965 cites W2094685149 @default.
• W1526446965 cites W2097508095 @default.
• W1526446965 cites W2125249767 @default.
• W1526446965 cites W2136510622 @default.
• W1526446965 cites W2165446401 @default.
• W1526446965 cites W2650831125 @default.
• W1526446965 cites W4231202982 @default.
• W1526446965 doi "https://doi.org/10.1007/978-3-642-00596-1_3" @default.
• W1526446965 hasPublicationYear "2009" @default.
• W1526446965 type Work @default.
• W1526446965 sameAs 1526446965 @default.
• W1526446965 citedByCount "11" @default.
• W1526446965 countsByYear W15264469652012 @default.
• W1526446965 countsByYear W15264469652013 @default.
• W1526446965 countsByYear W15264469652015 @default.
• W1526446965 countsByYear W15264469652017 @default.
• W1526446965 countsByYear W15264469652019 @default.
• W1526446965 countsByYear W15264469652020 @default.
• W1526446965 countsByYear W15264469652021 @default.
• W1526446965 countsByYear W15264469652023 @default.
• W1526446965 crossrefType "book-chapter" @default.
• W1526446965 hasAuthorship W1526446965A5008333115 @default.
• W1526446965 hasBestOaLocation W15264469651 @default.
• W1526446965 hasConcept C108710211 @default.
• W1526446965 hasConcept C118615104 @default.
• W1526446965 hasConcept C136119220 @default.
• W1526446965 hasConcept C154945302 @default.
• W1526446965 hasConcept C156325763 @default.
• W1526446965 hasConcept C156772000 @default.
• W1526446965 hasConcept C166957645 @default.
• W1526446965 hasConcept C184264201 @default.
• W1526446965 hasConcept C184337299 @default.
• W1526446965 hasConcept C199343813 @default.
• W1526446965 hasConcept C199360897 @default.
• W1526446965 hasConcept C202444582 @default.
• W1526446965 hasConcept C207648694 @default.
• W1526446965 hasConcept C2524010 @default.
• W1526446965 hasConcept C2776608160 @default.
• W1526446965 hasConcept C2777212361 @default.
• W1526446965 hasConcept C2777686260 @default.
• W1526446965 hasConcept C2778112365 @default.
• W1526446965 hasConcept C2780654840 @default.
• W1526446965 hasConcept C28077239 @default.
• W1526446965 hasConcept C33923547 @default.
• W1526446965 hasConcept C41008148 @default.
• W1526446965 hasConcept C527412718 @default.
• W1526446965 hasConcept C54355233 @default.
• W1526446965 hasConcept C62073222 @default.
• W1526446965 hasConcept C65880906 @default.
• W1526446965 hasConcept C71924100 @default.
• W1526446965 hasConcept C80444323 @default.
• W1526446965 hasConcept C86803240 @default.
• W1526446965 hasConcept C89421646 @default.
• W1526446965 hasConcept C95457728 @default.
• W1526446965 hasConcept C9672783 @default.
• W1526446965 hasConceptScore W1526446965C108710211 @default.
• W1526446965 hasConceptScore W1526446965C118615104 @default.
• W1526446965 hasConceptScore W1526446965C136119220 @default.
• W1526446965 hasConceptScore W1526446965C154945302 @default.
• W1526446965 hasConceptScore W1526446965C156325763 @default.
• W1526446965 hasConceptScore W1526446965C156772000 @default.
• W1526446965 hasConceptScore W1526446965C166957645 @default.
• W1526446965 hasConceptScore W1526446965C184264201 @default.
• W1526446965 hasConceptScore W1526446965C184337299 @default.
• W1526446965 hasConceptScore W1526446965C199343813 @default.
• W1526446965 hasConceptScore W1526446965C199360897 @default.
• W1526446965 hasConceptScore W1526446965C202444582 @default.
• W1526446965 hasConceptScore W1526446965C207648694 @default.
• W1526446965 hasConceptScore W1526446965C2524010 @default.
• W1526446965 hasConceptScore W1526446965C2776608160 @default.
• W1526446965 hasConceptScore W1526446965C2777212361 @default.
• W1526446965 hasConceptScore W1526446965C2777686260 @default.
• W1526446965 hasConceptScore W1526446965C2778112365 @default.
• W1526446965 hasConceptScore W1526446965C2780654840 @default.
• W1526446965 hasConceptScore W1526446965C28077239 @default.
• W1526446965 hasConceptScore W1526446965C33923547 @default.
• W1526446965 hasConceptScore W1526446965C41008148 @default.
• W1526446965 hasConceptScore W1526446965C527412718 @default.
• W1526446965 hasConceptScore W1526446965C54355233 @default.
• W1526446965 hasConceptScore W1526446965C62073222 @default.
• W1526446965 hasConceptScore W1526446965C65880906 @default.

• next