Balanced search trees made simple (1993)

Cached

Download Links

by Arne Andersson
Venue:In Proc. 3rd Workshop on Algorithms and Data Structures
Citations:21 - 0 self

Documents Related by Co-Citation

177 An algorithm for the organization of information – G Adelson-Velskii, E M Landis - 1962
113 Symmetric binary B-trees: Data structure and maintenance algorithms – Rudolf Bayer - 1972
235 A dichromatic framework for balanced trees – Leo J Guibas, Robert Sedgewick - 1978
12 Implicit dictionaries supporting searches and amortized updates in O(log n log log n – Gianni Franceschini, Roberto Grossi - 2003
272 Algorithms for reporting and counting geometric intersections – J Bentley, T Ottmann - 1979
161 An optimal algorithm for intersecting line segments in the plane – Bernard Chazelle, Herbert Edelsbrunner - 1992
31 A Simple Trapezoid Sweep Algorithm for Reporting Red/Blue Segment Intersections – Timothy M. Chan - 1994
36 An implicit data structure supporting insertion, deletion, and search in O(log 2 n) time – J I Munro - 1986
13 Implicit B-trees: New results for the dictionary problem – G Franceschini, R Grossi, J Munro, L Pagli - 2002
17 Optimal worst-case operations for implicit cache-oblivious search trees – G Franceschini, R Grossi - 2003
14 Binary B-Trees for Virtual Memory – R Bayer - 1971
22 Nitpick: A counterexample generator for higher-order logic based on a relational model finder (Extended Abstract) – Jasmin Christian Blanchette, Tobias Nipkow - 2009
60 Kodkod: A relational model finder – Emina Torlak, Daniel Jackson - 2007
289 Software Abstractions: Logic, Language, and Analysis – Daniel Jackson - 2006
42 Random testing in isabelle/hol – Stefan Berghofer, Tobias Nipkow, Technische Universität München - 2004
724 M.: Isabelle/HOL - A Proof Assistant for HigherOrder Logic – T Nipkow, L C Paulson, Wenzel - 2002
43 Zipf’s law and the Internet – L A Adamic, B A Huberman
65 An optimal algorithm for finding segments intersections – I J Balaban - 1995
20 Space-efficient planar convex hull algorithms – Herve Brönnimann, John Iacono, Jyrki Katajainen, Pat Morin, Jason Morrison, Godfried Toussaint - 2002