Matches in SemOpenAlex for { <https://semopenalex.org/work/W2019096829> ?p ?o ?g. }
Showing items 1 to 51 of
51
with 100 items per page.
- W2019096829 endingPage "204" @default.
- W2019096829 startingPage "181" @default.
- W2019096829 abstract "An equational algorithm to remove values from 2-3-trees is given along with a novel proof technique for use in showing correctness. The removal algorithm involves rewrite rules which ensure balance is restored in trees and uses similar methods to those used by Hoffman and O'Donnell for an insertion algorithm. However, the combination of equational rewrite steps is more subtle for removals and the algorithm is less obviously correct. Diagrams are used to show informally how the rewriting steps preserve order and balance and a method for formalising a correctness proof is also shown. This formalisation involves proofs with “subtypes” in the sense of sets of values of the same type which aid the derivation of properties of auxiliary functions." @default.
- W2019096829 created "2016-06-24" @default.
- W2019096829 creator A5058274734 @default.
- W2019096829 date "1992-04-01" @default.
- W2019096829 modified "2023-09-27" @default.
- W2019096829 title "Balanced trees with removals: an exercise in rewriting and proof" @default.
- W2019096829 cites W1480729609 @default.
- W2019096829 cites W1501891810 @default.
- W2019096829 cites W2026557621 @default.
- W2019096829 cites W2027657506 @default.
- W2019096829 cites W2036748304 @default.
- W2019096829 cites W2064305670 @default.
- W2019096829 cites W2134553977 @default.
- W2019096829 cites W3023216518 @default.
- W2019096829 doi "https://doi.org/10.1016/0167-6423(92)90009-z" @default.
- W2019096829 hasPublicationYear "1992" @default.
- W2019096829 type Work @default.
- W2019096829 sameAs 2019096829 @default.
- W2019096829 citedByCount "9" @default.
- W2019096829 countsByYear W20190968292016 @default.
- W2019096829 countsByYear W20190968292019 @default.
- W2019096829 crossrefType "journal-article" @default.
- W2019096829 hasAuthorship W2019096829A5058274734 @default.
- W2019096829 hasBestOaLocation W20190968291 @default.
- W2019096829 hasConcept C154690210 @default.
- W2019096829 hasConcept C199360897 @default.
- W2019096829 hasConcept C41008148 @default.
- W2019096829 hasConceptScore W2019096829C154690210 @default.
- W2019096829 hasConceptScore W2019096829C199360897 @default.
- W2019096829 hasConceptScore W2019096829C41008148 @default.
- W2019096829 hasIssue "2" @default.
- W2019096829 hasLocation W20190968291 @default.
- W2019096829 hasOpenAccess W2019096829 @default.
- W2019096829 hasPrimaryLocation W20190968291 @default.
- W2019096829 hasRelatedWork W1527862632 @default.
- W2019096829 hasRelatedWork W2013111119 @default.
- W2019096829 hasRelatedWork W2108174561 @default.
- W2019096829 hasRelatedWork W2112962394 @default.
- W2019096829 hasRelatedWork W2118300983 @default.
- W2019096829 hasRelatedWork W2135396778 @default.
- W2019096829 hasRelatedWork W3137189469 @default.
- W2019096829 hasRelatedWork W4231865403 @default.
- W2019096829 hasRelatedWork W4243252198 @default.
- W2019096829 hasRelatedWork W4251805752 @default.
- W2019096829 hasVolume "18" @default.
- W2019096829 isParatext "false" @default.
- W2019096829 isRetracted "false" @default.
- W2019096829 magId "2019096829" @default.
- W2019096829 workType "article" @default.