Conference
Derivation and Formal Proof of Binary Tree Depth Non-Recursive Algorithm
| Title: | Derivation and Formal Proof of Binary Tree Depth Non-Recursive Algorithm |
|---|---|
| Authors: | Zuo, Zhengkang, Fang, Yue, Huang, Qing, Liao, Yunyan, Wang, Yuan, Wang, Changjing |
| Source: | 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) |
| Database: | IEEE Xplore Digital Library |
| FullText | Text: Availability: 0 |
|---|---|
| Header | DbId: edseee DbLabel: IEEE Xplore Digital Library An: edseee.9646069 RelevancyScore: 1026 AccessLevel: 2 PubType: Conference PubTypeId: conference PreciseRelevancyScore: 1026.46948242188 |
| IllustrationInfo | |
| Items | – Name: Title Label: Title Group: Ti Data: Derivation and Formal Proof of Binary Tree Depth Non-Recursive Algorithm – Name: Author Label: Authors Group: Au Data: <searchLink fieldCode="AR" term="%22Zuo%2C+Zhengkang%22">Zuo, Zhengkang</searchLink><br /><searchLink fieldCode="AR" term="%22Fang%2C+Yue%22">Fang, Yue</searchLink><br /><searchLink fieldCode="AR" term="%22Huang%2C+Qing%22">Huang, Qing</searchLink><br /><searchLink fieldCode="AR" term="%22Liao%2C+Yunyan%22">Liao, Yunyan</searchLink><br /><searchLink fieldCode="AR" term="%22Wang%2C+Yuan%22">Wang, Yuan</searchLink><br /><searchLink fieldCode="AR" term="%22Wang%2C+Changjing%22">Wang, Changjing</searchLink> – Name: TitleSource Label: Source Group: Src Data: 2021 5th International Conference on Communication and Information Systems (ICCIS) Communication and Information Systems (ICCIS), 2021 5th International Conference on. :191-196 Oct, 2021 – Name: NoteTitleSource Label: Relation Group: SrcInfo Data: 2021 5th International Conference on Communication and Information Systems (ICCIS) |
| PLink | https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=edseee&AN=edseee.9646069 |
| RecordInfo | BibRecord: BibEntity: Identifiers: – Type: doi Value: 10.1109/ICCIS53528.2021.9646069 PhysicalDescription: Pagination: PageCount: 6 StartPage: 191 Titles: – TitleFull: Derivation and Formal Proof of Binary Tree Depth Non-Recursive Algorithm Type: main BibRelationships: HasContributorRelationships: – PersonEntity: Name: NameFull: Zuo, Zhengkang – PersonEntity: Name: NameFull: Fang, Yue – PersonEntity: Name: NameFull: Huang, Qing – PersonEntity: Name: NameFull: Liao, Yunyan – PersonEntity: Name: NameFull: Wang, Yuan – PersonEntity: Name: NameFull: Wang, Changjing IsPartOfRelationships: – BibEntity: Dates: – D: 15 M: 10 Type: published Y: 2021 Identifiers: – Type: isbn-print Value: 9781665422161 – Type: isbn-print Value: 9781665422154 – Type: issn-locals Value: edseee.IEEEConferenc Titles: – TitleFull: 2021 5th International Conference on Communication and Information Systems (ICCIS), Communication and Information Systems (ICCIS), 2021 5th International Conference on Type: main |
| ResultId | 1 |