Conference
Derivation and Formal Proof of Binary Tree Depth Non-Recursive Algorithm
| Τίτλος: | Derivation and Formal Proof of Binary Tree Depth Non-Recursive Algorithm |
|---|---|
| Συγγραφείς: | Zuo, Zhengkang, Fang, Yue, Huang, Qing, Liao, Yunyan, Wang, Yuan, Wang, Changjing |
| Πηγή: | 2021 5th International Conference on Communication and Information Systems (ICCIS) Communication and Information Systems (ICCIS), 2021 5th International Conference on. :191-196 Oct, 2021 |
| Relation: | 2021 5th International Conference on Communication and Information Systems (ICCIS) |
| Βάση Δεδομένων: | IEEE Xplore Digital Library |
| ISBN: | 9781665422161 9781665422154 |
|---|---|
| DOI: | 10.1109/ICCIS53528.2021.9646069 |