Matches in SemOpenAlex for { <https://semopenalex.org/work/W2491330651> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W2491330651 endingPage "194" @default.
- W2491330651 startingPage "174" @default.
- W2491330651 abstract "We present the technique of completeness-via-canonicity in a coalgebraic setting and apply it to both positive and boolean coalgebraic logics with relational semantics." @default.
- W2491330651 created "2016-08-23" @default.
- W2491330651 creator A5069664027 @default.
- W2491330651 date "2016-01-01" @default.
- W2491330651 modified "2023-10-16" @default.
- W2491330651 title "Coalgebraic Completeness-via-Canonicity" @default.
- W2491330651 cites W1499184985 @default.
- W2491330651 cites W1539618905 @default.
- W2491330651 cites W1542706591 @default.
- W2491330651 cites W1547536896 @default.
- W2491330651 cites W1570796240 @default.
- W2491330651 cites W1601815786 @default.
- W2491330651 cites W1859786385 @default.
- W2491330651 cites W1874754667 @default.
- W2491330651 cites W1969533183 @default.
- W2491330651 cites W1986531708 @default.
- W2491330651 cites W2004318671 @default.
- W2491330651 cites W2009663113 @default.
- W2491330651 cites W2011700761 @default.
- W2491330651 cites W2036781278 @default.
- W2491330651 cites W2037711229 @default.
- W2491330651 cites W2067638902 @default.
- W2491330651 cites W2068658258 @default.
- W2491330651 cites W2077519384 @default.
- W2491330651 cites W2104491215 @default.
- W2491330651 cites W2115916694 @default.
- W2491330651 cites W2130655577 @default.
- W2491330651 cites W2133256831 @default.
- W2491330651 cites W2140570142 @default.
- W2491330651 cites W2201092569 @default.
- W2491330651 cites W2315064349 @default.
- W2491330651 cites W2325342477 @default.
- W2491330651 cites W2491330651 @default.
- W2491330651 cites W4251554913 @default.
- W2491330651 doi "https://doi.org/10.1007/978-3-319-40370-0_11" @default.
- W2491330651 hasPublicationYear "2016" @default.
- W2491330651 type Work @default.
- W2491330651 sameAs 2491330651 @default.
- W2491330651 citedByCount "1" @default.
- W2491330651 crossrefType "book-chapter" @default.
- W2491330651 hasAuthorship W2491330651A5069664027 @default.
- W2491330651 hasBestOaLocation W24913306511 @default.
- W2491330651 hasConcept C134306372 @default.
- W2491330651 hasConcept C136119220 @default.
- W2491330651 hasConcept C17231256 @default.
- W2491330651 hasConcept C199360897 @default.
- W2491330651 hasConcept C202444582 @default.
- W2491330651 hasConcept C33923547 @default.
- W2491330651 hasConcept C41008148 @default.
- W2491330651 hasConcept C80444323 @default.
- W2491330651 hasConceptScore W2491330651C134306372 @default.
- W2491330651 hasConceptScore W2491330651C136119220 @default.
- W2491330651 hasConceptScore W2491330651C17231256 @default.
- W2491330651 hasConceptScore W2491330651C199360897 @default.
- W2491330651 hasConceptScore W2491330651C202444582 @default.
- W2491330651 hasConceptScore W2491330651C33923547 @default.
- W2491330651 hasConceptScore W2491330651C41008148 @default.
- W2491330651 hasConceptScore W2491330651C80444323 @default.
- W2491330651 hasLocation W24913306511 @default.
- W2491330651 hasOpenAccess W2491330651 @default.
- W2491330651 hasPrimaryLocation W24913306511 @default.
- W2491330651 hasRelatedWork W2104078272 @default.
- W2491330651 hasRelatedWork W2112962394 @default.
- W2491330651 hasRelatedWork W2118300983 @default.
- W2491330651 hasRelatedWork W2166247150 @default.
- W2491330651 hasRelatedWork W2382501300 @default.
- W2491330651 hasRelatedWork W3137189469 @default.
- W2491330651 hasRelatedWork W3162240892 @default.
- W2491330651 hasRelatedWork W4235530921 @default.
- W2491330651 hasRelatedWork W4243252198 @default.
- W2491330651 hasRelatedWork W4245713008 @default.
- W2491330651 isParatext "false" @default.
- W2491330651 isRetracted "false" @default.
- W2491330651 magId "2491330651" @default.
- W2491330651 workType "book-chapter" @default.