Matches in SemOpenAlex for { <https://semopenalex.org/work/W1773764144> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W1773764144 endingPage "149" @default.
- W1773764144 startingPage "134" @default.
- W1773764144 abstract "Equivalences, partitions and (bi)simulations are usually tackled using concrete relations. There are only few treatments by abstract relation algebra or category theory. We give an approach based on the theory of semirings and quantales. This allows applying the results directly to structures such as path and tree algebras which is not as straightforward in the other approaches mentioned. Also, the amount of higher-order formulations used is low and only a one-sorted algebra is used. This makes the theory suitable for fully automated first-order proof systems. As a small application we show how to use the algebra to construct a simple control policy for infinite-state transition systems." @default.
- W1773764144 created "2016-06-24" @default.
- W1773764144 creator A5051254529 @default.
- W1773764144 creator A5057014942 @default.
- W1773764144 creator A5067382949 @default.
- W1773764144 date "2009-01-01" @default.
- W1773764144 modified "2023-09-25" @default.
- W1773764144 title "A Semiring Approach to Equivalences, Bisimulations and Control" @default.
- W1773764144 cites W1539196615 @default.
- W1773764144 cites W1560833071 @default.
- W1773764144 cites W1574773091 @default.
- W1773764144 cites W1804217705 @default.
- W1773764144 cites W1968129403 @default.
- W1773764144 cites W2068047345 @default.
- W1773764144 cites W4250930808 @default.
- W1773764144 doi "https://doi.org/10.1007/978-3-642-04639-1_10" @default.
- W1773764144 hasPublicationYear "2009" @default.
- W1773764144 type Work @default.
- W1773764144 sameAs 1773764144 @default.
- W1773764144 citedByCount "5" @default.
- W1773764144 countsByYear W17737641442017 @default.
- W1773764144 countsByYear W17737641442018 @default.
- W1773764144 countsByYear W17737641442023 @default.
- W1773764144 crossrefType "book-chapter" @default.
- W1773764144 hasAuthorship W1773764144A5051254529 @default.
- W1773764144 hasAuthorship W1773764144A5057014942 @default.
- W1773764144 hasAuthorship W1773764144A5067382949 @default.
- W1773764144 hasBestOaLocation W17737641442 @default.
- W1773764144 hasConcept C111472728 @default.
- W1773764144 hasConcept C113174947 @default.
- W1773764144 hasConcept C114614502 @default.
- W1773764144 hasConcept C118615104 @default.
- W1773764144 hasConcept C136119220 @default.
- W1773764144 hasConcept C138885662 @default.
- W1773764144 hasConcept C188971069 @default.
- W1773764144 hasConcept C199360897 @default.
- W1773764144 hasConcept C202444582 @default.
- W1773764144 hasConcept C206470798 @default.
- W1773764144 hasConcept C21696900 @default.
- W1773764144 hasConcept C25343380 @default.
- W1773764144 hasConcept C2777735758 @default.
- W1773764144 hasConcept C2779167558 @default.
- W1773764144 hasConcept C2780586882 @default.
- W1773764144 hasConcept C2780801425 @default.
- W1773764144 hasConcept C33923547 @default.
- W1773764144 hasConcept C41008148 @default.
- W1773764144 hasConcept C54884031 @default.
- W1773764144 hasConcept C77088390 @default.
- W1773764144 hasConcept C80444323 @default.
- W1773764144 hasConceptScore W1773764144C111472728 @default.
- W1773764144 hasConceptScore W1773764144C113174947 @default.
- W1773764144 hasConceptScore W1773764144C114614502 @default.
- W1773764144 hasConceptScore W1773764144C118615104 @default.
- W1773764144 hasConceptScore W1773764144C136119220 @default.
- W1773764144 hasConceptScore W1773764144C138885662 @default.
- W1773764144 hasConceptScore W1773764144C188971069 @default.
- W1773764144 hasConceptScore W1773764144C199360897 @default.
- W1773764144 hasConceptScore W1773764144C202444582 @default.
- W1773764144 hasConceptScore W1773764144C206470798 @default.
- W1773764144 hasConceptScore W1773764144C21696900 @default.
- W1773764144 hasConceptScore W1773764144C25343380 @default.
- W1773764144 hasConceptScore W1773764144C2777735758 @default.
- W1773764144 hasConceptScore W1773764144C2779167558 @default.
- W1773764144 hasConceptScore W1773764144C2780586882 @default.
- W1773764144 hasConceptScore W1773764144C2780801425 @default.
- W1773764144 hasConceptScore W1773764144C33923547 @default.
- W1773764144 hasConceptScore W1773764144C41008148 @default.
- W1773764144 hasConceptScore W1773764144C54884031 @default.
- W1773764144 hasConceptScore W1773764144C77088390 @default.
- W1773764144 hasConceptScore W1773764144C80444323 @default.
- W1773764144 hasLocation W17737641441 @default.
- W1773764144 hasLocation W17737641442 @default.
- W1773764144 hasOpenAccess W1773764144 @default.
- W1773764144 hasPrimaryLocation W17737641441 @default.
- W1773764144 hasRelatedWork W1516741294 @default.
- W1773764144 hasRelatedWork W1525510911 @default.
- W1773764144 hasRelatedWork W1773764144 @default.
- W1773764144 hasRelatedWork W1820489854 @default.
- W1773764144 hasRelatedWork W2034659970 @default.
- W1773764144 hasRelatedWork W2068478937 @default.
- W1773764144 hasRelatedWork W2100036411 @default.
- W1773764144 hasRelatedWork W2551237228 @default.
- W1773764144 hasRelatedWork W4232125628 @default.
- W1773764144 hasRelatedWork W2490452405 @default.
- W1773764144 isParatext "false" @default.
- W1773764144 isRetracted "false" @default.
- W1773764144 magId "1773764144" @default.
- W1773764144 workType "book-chapter" @default.