共 50 条
- [7] Proof Pearl: Braun Trees CPP '20: PROCEEDINGS OF THE 9TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, 2020, : 18 - 31
- [9] The proof of a conjecture on the comparison of the energies of trees Journal of Mathematical Chemistry, 2012, 50 : 2637 - 2647
- [10] Proof of a conjecture on the ε-spectral radius of trees AIMS MATHEMATICS, 2023, 8 (02): : 4363 - 4371