Matches in SemOpenAlex for { <https://semopenalex.org/work/W1753290412> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W1753290412 endingPage "241" @default.
- W1753290412 startingPage "226" @default.
- W1753290412 abstract "A notion of generalized regular expressions for a large class of systems modeled as coalgebras, and an analogue of Kleene’s theorem and Kleene algebra, were recently proposed by a subset of the authors of this paper. Examples of the systems covered include infinite streams, deterministic automata and Mealy machines. In this paper, we present a novel algorithm and a tool to decide whether two expressions are bisimilar or not. The procedure is implemented in the automatic theorem prover CIRC, by reducing coinduction to an entailment relation between an algebraic specification and an appropriate set of equations." @default.
- W1753290412 created "2016-06-24" @default.
- W1753290412 creator A5028076905 @default.
- W1753290412 creator A5029314584 @default.
- W1753290412 creator A5042452321 @default.
- W1753290412 creator A5052315997 @default.
- W1753290412 creator A5062502864 @default.
- W1753290412 creator A5078092230 @default.
- W1753290412 date "2011-01-01" @default.
- W1753290412 modified "2023-10-16" @default.
- W1753290412 title "A Decision Procedure for Bisimilarity of Generalized Regular Expressions" @default.
- W1753290412 cites W1498001169 @default.
- W1753290412 cites W1513923922 @default.
- W1753290412 cites W1552805404 @default.
- W1753290412 cites W1570445666 @default.
- W1753290412 cites W1680684178 @default.
- W1753290412 cites W2029176884 @default.
- W1753290412 cites W2088189323 @default.
- W1753290412 cites W2096312273 @default.
- W1753290412 cites W2149366752 @default.
- W1753290412 cites W2170673019 @default.
- W1753290412 cites W3104063683 @default.
- W1753290412 doi "https://doi.org/10.1007/978-3-642-19829-8_15" @default.
- W1753290412 hasPublicationYear "2011" @default.
- W1753290412 type Work @default.
- W1753290412 sameAs 1753290412 @default.
- W1753290412 citedByCount "10" @default.
- W1753290412 countsByYear W17532904122012 @default.
- W1753290412 countsByYear W17532904122013 @default.
- W1753290412 countsByYear W17532904122015 @default.
- W1753290412 crossrefType "book-chapter" @default.
- W1753290412 hasAuthorship W1753290412A5028076905 @default.
- W1753290412 hasAuthorship W1753290412A5029314584 @default.
- W1753290412 hasAuthorship W1753290412A5042452321 @default.
- W1753290412 hasAuthorship W1753290412A5052315997 @default.
- W1753290412 hasAuthorship W1753290412A5062502864 @default.
- W1753290412 hasAuthorship W1753290412A5078092230 @default.
- W1753290412 hasBestOaLocation W17532904122 @default.
- W1753290412 hasConcept C112505250 @default.
- W1753290412 hasConcept C11413529 @default.
- W1753290412 hasConcept C118615104 @default.
- W1753290412 hasConcept C121329065 @default.
- W1753290412 hasConcept C123260079 @default.
- W1753290412 hasConcept C134306372 @default.
- W1753290412 hasConcept C136119220 @default.
- W1753290412 hasConcept C154945302 @default.
- W1753290412 hasConcept C177264268 @default.
- W1753290412 hasConcept C199360897 @default.
- W1753290412 hasConcept C202444582 @default.
- W1753290412 hasConcept C206470798 @default.
- W1753290412 hasConcept C206880738 @default.
- W1753290412 hasConcept C2777212361 @default.
- W1753290412 hasConcept C2778249326 @default.
- W1753290412 hasConcept C33923547 @default.
- W1753290412 hasConcept C41008148 @default.
- W1753290412 hasConcept C80444323 @default.
- W1753290412 hasConcept C9376300 @default.
- W1753290412 hasConceptScore W1753290412C112505250 @default.
- W1753290412 hasConceptScore W1753290412C11413529 @default.
- W1753290412 hasConceptScore W1753290412C118615104 @default.
- W1753290412 hasConceptScore W1753290412C121329065 @default.
- W1753290412 hasConceptScore W1753290412C123260079 @default.
- W1753290412 hasConceptScore W1753290412C134306372 @default.
- W1753290412 hasConceptScore W1753290412C136119220 @default.
- W1753290412 hasConceptScore W1753290412C154945302 @default.
- W1753290412 hasConceptScore W1753290412C177264268 @default.
- W1753290412 hasConceptScore W1753290412C199360897 @default.
- W1753290412 hasConceptScore W1753290412C202444582 @default.
- W1753290412 hasConceptScore W1753290412C206470798 @default.
- W1753290412 hasConceptScore W1753290412C206880738 @default.
- W1753290412 hasConceptScore W1753290412C2777212361 @default.
- W1753290412 hasConceptScore W1753290412C2778249326 @default.
- W1753290412 hasConceptScore W1753290412C33923547 @default.
- W1753290412 hasConceptScore W1753290412C41008148 @default.
- W1753290412 hasConceptScore W1753290412C80444323 @default.
- W1753290412 hasConceptScore W1753290412C9376300 @default.
- W1753290412 hasLocation W17532904121 @default.
- W1753290412 hasLocation W17532904122 @default.
- W1753290412 hasLocation W17532904123 @default.
- W1753290412 hasOpenAccess W1753290412 @default.
- W1753290412 hasPrimaryLocation W17532904121 @default.
- W1753290412 hasRelatedWork W1753290412 @default.
- W1753290412 hasRelatedWork W1978201126 @default.
- W1753290412 hasRelatedWork W2096312273 @default.
- W1753290412 hasRelatedWork W2120020727 @default.
- W1753290412 hasRelatedWork W2122132827 @default.
- W1753290412 hasRelatedWork W2756693832 @default.
- W1753290412 hasRelatedWork W3102570133 @default.
- W1753290412 hasRelatedWork W4225319098 @default.
- W1753290412 hasRelatedWork W4322632666 @default.
- W1753290412 hasRelatedWork W2184997670 @default.
- W1753290412 isParatext "false" @default.
- W1753290412 isRetracted "false" @default.
- W1753290412 magId "1753290412" @default.
- W1753290412 workType "book-chapter" @default.