帕塔萨拉西马杜苏丹;邱晓康;安德烈·斯特凡内斯库 归纳树数据结构的递归证明。 （英语） Zbl 1321.68226号 2012年1月22日至28日，美国宾夕法尼亚州费城，POPL'12，第39届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1083-3）。123-136 (2012). 引用于6文件 MSC公司： 68第05页 数据结构 68号30 软件工程的数学方面（规范、验证、度量、需求等） 关键词：堆分析;递归程序;SMT求解器;树 PDF格式BibTeX公司 XML格式引用 \textit{P.Madhusudan}et al.，in：第39届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集，POPL'12，美国宾夕法尼亚州费城，2012年1月22日至28日。纽约州纽约市：计算机协会（ACM）。123-136（2012；Zbl 1321.68226） 全文： 内政部