后序遍历二叉树非递归算法的推导及形式化证明

左正康, 游珍, 薛锦云

Derivation and Formal Proof of NonRecursive Postorder BinaryTree Traversal Algorithm

ZUO Zheng-Kang, LIU Zhen, XUE Jin-Yun

J4 . 2010, (3): 119 -123 . DOI: 10.3969/j.issn.1007130X.2010.