Author:
Guibas Leo J.,McCreight Edward M.,Plass Michael F.,Roberts Janet R.
Cited by
71 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Specification and verification of a transient stack;Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs;2022-01-11
2. Regular numeral systems for data structures;Acta Informatica;2021-07-25
3. Dynamic planar point location in optimal time;Proceedings of the 53rd Annual ACM SIGACT Symposium on Theory of Computing;2021-06-15
4. Verified Textbook Algorithms;Automated Technology for Verification and Analysis;2020
5. Red–black trees with constant update time;Acta Informatica;2019-05-21