Matches in SemOpenAlex for { <https://semopenalex.org/work/W1544334485> ?p ?o ?g. }
Showing items 1 to 64 of
64
with 100 items per page.
- W1544334485 abstract "We generalize some of the central results in automata theory to the abstraction level of coalgebras. In particular, we show that for any standard, weak pullback preserving functor F, the class of recognizable languages of F -coalgebras is closed under taking unions, intersections and projections. Our main technical result concerns a construction which transforms a given alternating F -automaton into an equivalent non-deterministic one." @default.
- W1544334485 created "2016-06-24" @default.
- W1544334485 creator A5058618165 @default.
- W1544334485 creator A5068240928 @default.
- W1544334485 date "2006-10-11" @default.
- W1544334485 modified "2023-10-16" @default.
- W1544334485 title "Closure Properties of Coalgebra Automata" @default.
- W1544334485 cites W1989540314 @default.
- W1544334485 cites W2030418131 @default.
- W1544334485 cites W2057072590 @default.
- W1544334485 cites W2076284895 @default.
- W1544334485 cites W2088189323 @default.
- W1544334485 cites W2502103274 @default.
- W1544334485 cites W4213277014 @default.
- W1544334485 cites W4240244556 @default.
- W1544334485 doi "https://doi.org/10.1109/lics.2005.10" @default.
- W1544334485 hasPublicationYear "2006" @default.
- W1544334485 type Work @default.
- W1544334485 sameAs 1544334485 @default.
- W1544334485 citedByCount "15" @default.
- W1544334485 countsByYear W15443344852012 @default.
- W1544334485 countsByYear W15443344852022 @default.
- W1544334485 crossrefType "proceedings-article" @default.
- W1544334485 hasAuthorship W1544334485A5058618165 @default.
- W1544334485 hasAuthorship W1544334485A5068240928 @default.
- W1544334485 hasBestOaLocation W15443344852 @default.
- W1544334485 hasConcept C112505250 @default.
- W1544334485 hasConcept C136119220 @default.
- W1544334485 hasConcept C146834321 @default.
- W1544334485 hasConcept C17744445 @default.
- W1544334485 hasConcept C199539241 @default.
- W1544334485 hasConcept C202444582 @default.
- W1544334485 hasConcept C2778249326 @default.
- W1544334485 hasConcept C33923547 @default.
- W1544334485 hasConcept C41008148 @default.
- W1544334485 hasConcept C80444323 @default.
- W1544334485 hasConceptScore W1544334485C112505250 @default.
- W1544334485 hasConceptScore W1544334485C136119220 @default.
- W1544334485 hasConceptScore W1544334485C146834321 @default.
- W1544334485 hasConceptScore W1544334485C17744445 @default.
- W1544334485 hasConceptScore W1544334485C199539241 @default.
- W1544334485 hasConceptScore W1544334485C202444582 @default.
- W1544334485 hasConceptScore W1544334485C2778249326 @default.
- W1544334485 hasConceptScore W1544334485C33923547 @default.
- W1544334485 hasConceptScore W1544334485C41008148 @default.
- W1544334485 hasConceptScore W1544334485C80444323 @default.
- W1544334485 hasLocation W15443344851 @default.
- W1544334485 hasLocation W15443344852 @default.
- W1544334485 hasOpenAccess W1544334485 @default.
- W1544334485 hasPrimaryLocation W15443344851 @default.
- W1544334485 hasRelatedWork W153904579 @default.
- W1544334485 hasRelatedWork W1584197856 @default.
- W1544334485 hasRelatedWork W1597765845 @default.
- W1544334485 hasRelatedWork W2017706948 @default.
- W1544334485 hasRelatedWork W2062378604 @default.
- W1544334485 hasRelatedWork W2330733397 @default.
- W1544334485 hasRelatedWork W23395765 @default.
- W1544334485 hasRelatedWork W2368796975 @default.
- W1544334485 hasRelatedWork W4301937844 @default.
- W1544334485 hasRelatedWork W2602338684 @default.
- W1544334485 isParatext "false" @default.
- W1544334485 isRetracted "false" @default.
- W1544334485 magId "1544334485" @default.
- W1544334485 workType "article" @default.