Matches in SemOpenAlex for { <https://semopenalex.org/work/W199454426> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W199454426 endingPage "237" @default.
- W199454426 startingPage "218" @default.
- W199454426 abstract "In the proof assistant Coq, one can model certain classes of graphs by coinductive types. The coinductive aspects account for infinite navigability already in finite but cyclic graphs, as in rational trees. Coq’s static checks exclude simple-minded definitions with lists of successors of a node. In previous work, we have shown how to mimic lists by a type of functions and built a Coq theory for such graphs. Naturally, these coinductive structures have to be compared by a bisimulation relation, and we defined it in a generic way. However, there are many cases in which we would not like to distinguish between graphs that are constructed differently and that are thus not bisimilar, in particular if only the order of elements in the lists of successors is not the same. We offer a wider bisimulation relation that allows permutations. Technical problems arise with their specification since (1) elements have to be compared by a not necessarily decidable relation and (2) coinductive types are mixed with inductive ones. Still, a formal development has been carried out in Coq, by using its built-in language for proof automation. Another extension of the original bisimulation relation based on cycle analysis provides indifference concerning the root node of the term graphs." @default.
- W199454426 created "2016-06-24" @default.
- W199454426 creator A5008660701 @default.
- W199454426 creator A5054996724 @default.
- W199454426 date "2012-01-01" @default.
- W199454426 modified "2023-10-18" @default.
- W199454426 title "Permutations in Coinductive Graph Representation" @default.
- W199454426 cites W1490766367 @default.
- W199454426 cites W1491165055 @default.
- W199454426 cites W1532383456 @default.
- W199454426 cites W1549054207 @default.
- W199454426 cites W1570297344 @default.
- W199454426 cites W1990062016 @default.
- W199454426 cites W1992801334 @default.
- W199454426 cites W2062887328 @default.
- W199454426 cites W2171729488 @default.
- W199454426 cites W2964013359 @default.
- W199454426 cites W4210456832 @default.
- W199454426 cites W4254626787 @default.
- W199454426 cites W2283118417 @default.
- W199454426 doi "https://doi.org/10.1007/978-3-642-32784-1_12" @default.
- W199454426 hasPublicationYear "2012" @default.
- W199454426 type Work @default.
- W199454426 sameAs 199454426 @default.
- W199454426 citedByCount "5" @default.
- W199454426 countsByYear W1994544262013 @default.
- W199454426 countsByYear W1994544262019 @default.
- W199454426 countsByYear W1994544262022 @default.
- W199454426 crossrefType "book-chapter" @default.
- W199454426 hasAuthorship W199454426A5008660701 @default.
- W199454426 hasAuthorship W199454426A5054996724 @default.
- W199454426 hasBestOaLocation W1994544261 @default.
- W199454426 hasConcept C108710211 @default.
- W199454426 hasConcept C118615104 @default.
- W199454426 hasConcept C135315306 @default.
- W199454426 hasConcept C136119220 @default.
- W199454426 hasConcept C153269930 @default.
- W199454426 hasConcept C199360897 @default.
- W199454426 hasConcept C202444582 @default.
- W199454426 hasConcept C203265346 @default.
- W199454426 hasConcept C2524010 @default.
- W199454426 hasConcept C25343380 @default.
- W199454426 hasConcept C2778029271 @default.
- W199454426 hasConcept C33923547 @default.
- W199454426 hasConcept C40220748 @default.
- W199454426 hasConcept C41008148 @default.
- W199454426 hasConcept C77088390 @default.
- W199454426 hasConcept C80444323 @default.
- W199454426 hasConcept C94461902 @default.
- W199454426 hasConceptScore W199454426C108710211 @default.
- W199454426 hasConceptScore W199454426C118615104 @default.
- W199454426 hasConceptScore W199454426C135315306 @default.
- W199454426 hasConceptScore W199454426C136119220 @default.
- W199454426 hasConceptScore W199454426C153269930 @default.
- W199454426 hasConceptScore W199454426C199360897 @default.
- W199454426 hasConceptScore W199454426C202444582 @default.
- W199454426 hasConceptScore W199454426C203265346 @default.
- W199454426 hasConceptScore W199454426C2524010 @default.
- W199454426 hasConceptScore W199454426C25343380 @default.
- W199454426 hasConceptScore W199454426C2778029271 @default.
- W199454426 hasConceptScore W199454426C33923547 @default.
- W199454426 hasConceptScore W199454426C40220748 @default.
- W199454426 hasConceptScore W199454426C41008148 @default.
- W199454426 hasConceptScore W199454426C77088390 @default.
- W199454426 hasConceptScore W199454426C80444323 @default.
- W199454426 hasConceptScore W199454426C94461902 @default.
- W199454426 hasLocation W1994544261 @default.
- W199454426 hasLocation W1994544262 @default.
- W199454426 hasLocation W1994544263 @default.
- W199454426 hasLocation W1994544264 @default.
- W199454426 hasOpenAccess W199454426 @default.
- W199454426 hasPrimaryLocation W1994544261 @default.
- W199454426 hasRelatedWork W1488076266 @default.
- W199454426 hasRelatedWork W1541732450 @default.
- W199454426 hasRelatedWork W1562440999 @default.
- W199454426 hasRelatedWork W1820233200 @default.
- W199454426 hasRelatedWork W1827680569 @default.
- W199454426 hasRelatedWork W2107608134 @default.
- W199454426 hasRelatedWork W2136485937 @default.
- W199454426 hasRelatedWork W2603068949 @default.
- W199454426 hasRelatedWork W3101797533 @default.
- W199454426 hasRelatedWork W2518082944 @default.
- W199454426 isParatext "false" @default.
- W199454426 isRetracted "false" @default.
- W199454426 magId "199454426" @default.
- W199454426 workType "book-chapter" @default.