Matches in SemOpenAlex for { <https://semopenalex.org/work/W2521096248> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W2521096248 endingPage "68" @default.
- W2521096248 startingPage "51" @default.
- W2521096248 abstract "We formally prove the correctness of Prim’s algorithm for computing minimum spanning trees. We introduce new generalisations of relation algebras and Kleene algebras, in which most of the proof can be carried out. Only a small part needs additional operations, for which we introduce a new algebraic structure. We instantiate these algebras by matrices over extended reals, which model the weighted graphs used in the algorithm. Many existing results from relation algebras and Kleene algebras generalise from the relation model to the weighted-graph model with no or small changes. The overall structure of the proof uses Hoare logic. All results are formally verified in Isabelle/HOL heavily using its integrated automated theorem provers." @default.
- W2521096248 created "2016-09-30" @default.
- W2521096248 creator A5071961816 @default.
- W2521096248 date "2016-01-01" @default.
- W2521096248 modified "2023-09-26" @default.
- W2521096248 title "Relation-Algebraic Verification of Prim’s Minimum Spanning Tree Algorithm" @default.
- W2521096248 cites W1519644068 @default.
- W2521096248 cites W1545329058 @default.
- W2521096248 cites W1574773091 @default.
- W2521096248 cites W1674186056 @default.
- W2521096248 cites W176706912 @default.
- W2521096248 cites W1788771336 @default.
- W2521096248 cites W1970672922 @default.
- W2521096248 cites W1981755382 @default.
- W2521096248 cites W1987172788 @default.
- W2521096248 cites W1999128250 @default.
- W2521096248 cites W2006006495 @default.
- W2521096248 cites W2011721441 @default.
- W2521096248 cites W2017927472 @default.
- W2521096248 cites W2032028343 @default.
- W2521096248 cites W2045111709 @default.
- W2521096248 cites W2045246689 @default.
- W2521096248 cites W2045528636 @default.
- W2521096248 cites W2054416947 @default.
- W2521096248 cites W2055560858 @default.
- W2521096248 cites W2056240511 @default.
- W2521096248 cites W2087216833 @default.
- W2521096248 cites W2095363060 @default.
- W2521096248 cites W2118914950 @default.
- W2521096248 cites W2134831148 @default.
- W2521096248 cites W2138414916 @default.
- W2521096248 cites W2145680053 @default.
- W2521096248 cites W2160633550 @default.
- W2521096248 cites W2163152086 @default.
- W2521096248 cites W2169528473 @default.
- W2521096248 cites W4250846042 @default.
- W2521096248 cites W4250930808 @default.
- W2521096248 cites W956848902 @default.
- W2521096248 doi "https://doi.org/10.1007/978-3-319-46750-4_4" @default.
- W2521096248 hasPublicationYear "2016" @default.
- W2521096248 type Work @default.
- W2521096248 sameAs 2521096248 @default.
- W2521096248 citedByCount "6" @default.
- W2521096248 countsByYear W25210962482017 @default.
- W2521096248 countsByYear W25210962482018 @default.
- W2521096248 countsByYear W25210962482020 @default.
- W2521096248 countsByYear W25210962482021 @default.
- W2521096248 crossrefType "book-chapter" @default.
- W2521096248 hasAuthorship W2521096248A5071961816 @default.
- W2521096248 hasConcept C104949639 @default.
- W2521096248 hasConcept C11413529 @default.
- W2521096248 hasConcept C118615104 @default.
- W2521096248 hasConcept C132525143 @default.
- W2521096248 hasConcept C13743678 @default.
- W2521096248 hasConcept C17435882 @default.
- W2521096248 hasConcept C199360897 @default.
- W2521096248 hasConcept C206880738 @default.
- W2521096248 hasConcept C25343380 @default.
- W2521096248 hasConcept C33923547 @default.
- W2521096248 hasConcept C41008148 @default.
- W2521096248 hasConcept C55439883 @default.
- W2521096248 hasConcept C63645285 @default.
- W2521096248 hasConcept C64331007 @default.
- W2521096248 hasConcept C77088390 @default.
- W2521096248 hasConcept C80444323 @default.
- W2521096248 hasConceptScore W2521096248C104949639 @default.
- W2521096248 hasConceptScore W2521096248C11413529 @default.
- W2521096248 hasConceptScore W2521096248C118615104 @default.
- W2521096248 hasConceptScore W2521096248C132525143 @default.
- W2521096248 hasConceptScore W2521096248C13743678 @default.
- W2521096248 hasConceptScore W2521096248C17435882 @default.
- W2521096248 hasConceptScore W2521096248C199360897 @default.
- W2521096248 hasConceptScore W2521096248C206880738 @default.
- W2521096248 hasConceptScore W2521096248C25343380 @default.
- W2521096248 hasConceptScore W2521096248C33923547 @default.
- W2521096248 hasConceptScore W2521096248C41008148 @default.
- W2521096248 hasConceptScore W2521096248C55439883 @default.
- W2521096248 hasConceptScore W2521096248C63645285 @default.
- W2521096248 hasConceptScore W2521096248C64331007 @default.
- W2521096248 hasConceptScore W2521096248C77088390 @default.
- W2521096248 hasConceptScore W2521096248C80444323 @default.
- W2521096248 hasLocation W25210962481 @default.
- W2521096248 hasOpenAccess W2521096248 @default.
- W2521096248 hasPrimaryLocation W25210962481 @default.
- W2521096248 hasRelatedWork W1491368825 @default.
- W2521096248 hasRelatedWork W1527597986 @default.
- W2521096248 hasRelatedWork W1545329058 @default.
- W2521096248 hasRelatedWork W1997440650 @default.
- W2521096248 hasRelatedWork W2022828482 @default.
- W2521096248 hasRelatedWork W2051756765 @default.
- W2521096248 hasRelatedWork W23903359 @default.
- W2521096248 hasRelatedWork W2390801585 @default.
- W2521096248 hasRelatedWork W34452851 @default.
- W2521096248 hasRelatedWork W4283765998 @default.
- W2521096248 isParatext "false" @default.
- W2521096248 isRetracted "false" @default.
- W2521096248 magId "2521096248" @default.
- W2521096248 workType "book-chapter" @default.