Matches in SemOpenAlex for { <https://semopenalex.org/work/W323768384> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W323768384 endingPage "325" @default.
- W323768384 startingPage "311" @default.
- W323768384 abstract "Coalgebra offers a general framework for modelling different types of state-based systems. Our aim is to present generic algorithms to decide behavioural equivalence for coalgebras which generalize partition refinement. The underlying idea of the algorithms is to work on the final chain and to factor out redundant information. If the algorithm terminates, the result of the construction is a representative of the given coalgebra that is not necessarily unique and that allows to precisely answer questions about behavioural equivalence. We apply the algorithm to weighted automata over semirings in order to obtain a procedure for checking language equivalence for a large number of semirings." @default.
- W323768384 created "2016-06-24" @default.
- W323768384 creator A5024395622 @default.
- W323768384 creator A5063161038 @default.
- W323768384 date "2014-01-01" @default.
- W323768384 modified "2023-09-24" @default.
- W323768384 title "Generic Partition Refinement Algorithms for Coalgebras and an Instantiation to Weighted Automata" @default.
- W323768384 cites W1497067119 @default.
- W323768384 cites W1506437980 @default.
- W323768384 cites W1532577213 @default.
- W323768384 cites W1555534061 @default.
- W323768384 cites W1586460111 @default.
- W323768384 cites W1595870841 @default.
- W323768384 cites W1629199664 @default.
- W323768384 cites W1643571618 @default.
- W323768384 cites W1835836356 @default.
- W323768384 cites W1936778259 @default.
- W323768384 cites W1992008267 @default.
- W323768384 cites W2057895129 @default.
- W323768384 cites W2077019667 @default.
- W323768384 cites W2088189323 @default.
- W323768384 cites W2098857464 @default.
- W323768384 cites W2157657301 @default.
- W323768384 cites W2164883513 @default.
- W323768384 cites W3121572647 @default.
- W323768384 doi "https://doi.org/10.1007/978-3-662-44602-7_24" @default.
- W323768384 hasPublicationYear "2014" @default.
- W323768384 type Work @default.
- W323768384 sameAs 323768384 @default.
- W323768384 citedByCount "7" @default.
- W323768384 countsByYear W3237683842016 @default.
- W323768384 countsByYear W3237683842017 @default.
- W323768384 countsByYear W3237683842018 @default.
- W323768384 countsByYear W3237683842021 @default.
- W323768384 countsByYear W3237683842022 @default.
- W323768384 crossrefType "book-chapter" @default.
- W323768384 hasAuthorship W323768384A5024395622 @default.
- W323768384 hasAuthorship W323768384A5063161038 @default.
- W323768384 hasBestOaLocation W3237683841 @default.
- W323768384 hasConcept C112505250 @default.
- W323768384 hasConcept C11413529 @default.
- W323768384 hasConcept C114614502 @default.
- W323768384 hasConcept C118615104 @default.
- W323768384 hasConcept C136119220 @default.
- W323768384 hasConcept C167822520 @default.
- W323768384 hasConcept C202444582 @default.
- W323768384 hasConcept C2778249326 @default.
- W323768384 hasConcept C2780069185 @default.
- W323768384 hasConcept C33923547 @default.
- W323768384 hasConcept C41008148 @default.
- W323768384 hasConcept C42812 @default.
- W323768384 hasConcept C80444323 @default.
- W323768384 hasConceptScore W323768384C112505250 @default.
- W323768384 hasConceptScore W323768384C11413529 @default.
- W323768384 hasConceptScore W323768384C114614502 @default.
- W323768384 hasConceptScore W323768384C118615104 @default.
- W323768384 hasConceptScore W323768384C136119220 @default.
- W323768384 hasConceptScore W323768384C167822520 @default.
- W323768384 hasConceptScore W323768384C202444582 @default.
- W323768384 hasConceptScore W323768384C2778249326 @default.
- W323768384 hasConceptScore W323768384C2780069185 @default.
- W323768384 hasConceptScore W323768384C33923547 @default.
- W323768384 hasConceptScore W323768384C41008148 @default.
- W323768384 hasConceptScore W323768384C42812 @default.
- W323768384 hasConceptScore W323768384C80444323 @default.
- W323768384 hasLocation W3237683841 @default.
- W323768384 hasOpenAccess W323768384 @default.
- W323768384 hasPrimaryLocation W3237683841 @default.
- W323768384 hasRelatedWork W1423874546 @default.
- W323768384 hasRelatedWork W1998090528 @default.
- W323768384 hasRelatedWork W2058552781 @default.
- W323768384 hasRelatedWork W3046613010 @default.
- W323768384 hasRelatedWork W3151786004 @default.
- W323768384 hasRelatedWork W3173429172 @default.
- W323768384 hasRelatedWork W323768384 @default.
- W323768384 hasRelatedWork W4287239951 @default.
- W323768384 hasRelatedWork W4298844365 @default.
- W323768384 hasRelatedWork W4377206352 @default.
- W323768384 isParatext "false" @default.
- W323768384 isRetracted "false" @default.
- W323768384 magId "323768384" @default.
- W323768384 workType "book-chapter" @default.