Publisher
Springer International Publishing
Reference16 articles.
1. Bayer, R., McCreight, E.M.: Organization and maintenance of large ordered indices. Acta Informatica 1, 173–189 (1972). https://doi.org/10.1007/BF00288683
2. Lecture Notes in Computer Science;L Bulwahn,2008
3. Comer, D.: The ubiquitous b-tree. ACM Comput. Surv. 11(2), 121–137 (1979). https://doi.org/10.1145/356770.356776
4. Ernst, G., Schellhorn, G., Reif, W.: Verification of B$$^+$$ trees by integration of shape analysis and interactive theorem proving. Software & Systems Modeling 14(1), 27–44 (2013). https://doi.org/10.1007/s10270-013-0320-1
5. Fielding, E.: The specification of abstract mappings and their implementation as b+ trees. Technical Report PRG18, OUCL (1980)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献