共 50 条
- [21] ANOTHER PROOF OF CAYLEYS FORMULA FOR COUNTING TREES AMERICAN MATHEMATICAL MONTHLY, 1963, 70 (08): : 846 - &
- [23] Dominator trees and fast verification of proof nets 15TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2000, : 181 - 191
- [27] Text Analysis with Enhanced Annotated Suffix Trees: Algorithms and Implementation ANALYSIS OF IMAGES, SOCIAL NETWORKS AND TEXTS, AIST 2015, 2015, 542 : 308 - 319
- [29] Splay trees: a reweighing lemma and a proof of competitiveness vs. dynamic balanced trees JOURNAL OF ALGORITHMS-COGNITION INFORMATICS AND LOGIC, 2004, 51 (01): : 64 - 76
- [30] An Assertional Proof of Red–Black Trees Using Dafny Journal of Automated Reasoning, 2020, 64 : 767 - 791