克里希南德·查特吉;傅洪飞;诺沃顿，皮特;鲁兹贝·哈什米尼扎德 仿射概率程序定性和定量终止问题的算法分析。 （英语） Zbl 1347.68075号 Bodik，Rastislav（编辑）等人，第43届ACM SIGPLAN-SIGACT编程语言原则年度研讨会论文集，POPL’16，美国佛罗里达州圣彼得堡，2016年1月20日至22日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-3549-2）。327-342 (2016). 引用于12文件 MSC公司： 68纳米30 软件工程的数学方面（规范、验证、度量、需求等） 2017年第68季度 问题的计算难度（下限、完备性、近似难度等） 65年第68季度 算法和问题复杂性分析 87年第68季度 计算机科学中的概率（算法分析、随机结构、相变等） 关键词：浓度;概率程序;排名超级马丁格尔;终止 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}等人，《第43届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集》，POPL’16，美国佛罗里达州圣彼得堡，2016年1月20-22日。纽约州纽约市：计算机协会（ACM）。327--342（2016；Zbl 1347.68075） 全文： 内政部 arXiv公司