Matches in SemOpenAlex for { <https://semopenalex.org/work/W2410691440> ?p ?o ?g. }
Showing items 1 to 61 of
61
with 100 items per page.
- W2410691440 endingPage "108" @default.
- W2410691440 startingPage "90" @default.
- W2410691440 abstract "Stream automata (also called ω-automata) and ω-regular languages are of paramount importance in Computer Science and Logic. A coalgebraic treatment of these structures has not been given yet. We study a simple two-sorted setting where deterministic Muller automata can be cast as coalgebras, so that coalgebraic bisimilarity coincides with language equivalence. From this characterisation, we derive concise and natural decision procedures for complementation, union, intersection, and equivalence check." @default.
- W2410691440 created "2016-06-24" @default.
- W2410691440 creator A5068240928 @default.
- W2410691440 creator A5082534511 @default.
- W2410691440 date "2012-01-01" @default.
- W2410691440 modified "2023-09-24" @default.
- W2410691440 title "Stream Automata Are Coalgebras" @default.
- W2410691440 cites W1509918383 @default.
- W2410691440 cites W1594530072 @default.
- W2410691440 cites W1981607181 @default.
- W2410691440 cites W2046125711 @default.
- W2410691440 cites W2088189323 @default.
- W2410691440 cites W2115452397 @default.
- W2410691440 cites W2145576118 @default.
- W2410691440 cites W2168411741 @default.
- W2410691440 doi "https://doi.org/10.1007/978-3-642-32784-1_6" @default.
- W2410691440 hasPublicationYear "2012" @default.
- W2410691440 type Work @default.
- W2410691440 sameAs 2410691440 @default.
- W2410691440 citedByCount "6" @default.
- W2410691440 countsByYear W24106914402012 @default.
- W2410691440 countsByYear W24106914402013 @default.
- W2410691440 countsByYear W24106914402014 @default.
- W2410691440 countsByYear W24106914402015 @default.
- W2410691440 countsByYear W24106914402018 @default.
- W2410691440 countsByYear W24106914402019 @default.
- W2410691440 crossrefType "book-chapter" @default.
- W2410691440 hasAuthorship W2410691440A5068240928 @default.
- W2410691440 hasAuthorship W2410691440A5082534511 @default.
- W2410691440 hasBestOaLocation W24106914401 @default.
- W2410691440 hasConcept C112505250 @default.
- W2410691440 hasConcept C199360897 @default.
- W2410691440 hasConcept C33923547 @default.
- W2410691440 hasConcept C41008148 @default.
- W2410691440 hasConcept C80444323 @default.
- W2410691440 hasConcept C94375191 @default.
- W2410691440 hasConceptScore W2410691440C112505250 @default.
- W2410691440 hasConceptScore W2410691440C199360897 @default.
- W2410691440 hasConceptScore W2410691440C33923547 @default.
- W2410691440 hasConceptScore W2410691440C41008148 @default.
- W2410691440 hasConceptScore W2410691440C80444323 @default.
- W2410691440 hasConceptScore W2410691440C94375191 @default.
- W2410691440 hasLocation W24106914401 @default.
- W2410691440 hasOpenAccess W2410691440 @default.
- W2410691440 hasPrimaryLocation W24106914401 @default.
- W2410691440 hasRelatedWork W1527862632 @default.
- W2410691440 hasRelatedWork W2112962394 @default.
- W2410691440 hasRelatedWork W2118300983 @default.
- W2410691440 hasRelatedWork W2135396778 @default.
- W2410691440 hasRelatedWork W2740990710 @default.
- W2410691440 hasRelatedWork W2937242976 @default.
- W2410691440 hasRelatedWork W3137189469 @default.
- W2410691440 hasRelatedWork W4235530921 @default.
- W2410691440 hasRelatedWork W4243252198 @default.
- W2410691440 hasRelatedWork W2462343658 @default.
- W2410691440 isParatext "false" @default.
- W2410691440 isRetracted "false" @default.
- W2410691440 magId "2410691440" @default.
- W2410691440 workType "book-chapter" @default.