尼西姆·弗朗西兹;鲍里斯·克莱班斯基;阿米尔·普努利 递归计算中的回溯。 （英语） Zbl 0359.68023号 学报信息。 8, 125-144 (1977). 页码：24/35−5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 显示扫描页面 引用于2文件 MSC公司： 68号01 软件理论的一般主题 68瓦99 计算机科学中的算法 PDF格式BibTeX公司 XML格式引用 \textit{N.Francez}等人，《信息学报》8，125--144（1977；Zbl 0359.68023） 全文： 内政部 参考文献： [1] Bobrow，G.D.，Wegbreit，B.：多环境的模型和堆栈实现。通信ACM 16，591-603（1973）·数字对象标识代码：10.1145/362375.3623379 [2] Cadiou，J.M.，Manna，Z.：部分函数及其计算的递归定义。程序。1972年，新墨西哥州拉斯克鲁塞斯市ACM关于证明项目断言的会议，第58-67页 [3] Chandra，A.K.：关于程序模式的属性和应用。斯坦福大学计算机科学系博士论文，1973年·Zbl 0309.68023号 [4] Egli，H.：非确定性计算的数学模型。苏黎世联邦理工学院，Forschungstitut für Mathematik，1975年 [5] 菲克斯，R.E.：REF？ARF公司。人工智能1（1970）·Zbl 0203.49403号 [6] Floyd，R.W.：非确定性算法。J.ACM 14636-644（1967年）·Zbl 0153.47006号 ·doi:10.1145/321420.321422 [7] Golomb，S.W.，Baumert，L.D.：回溯编程。J.ACM 12，516-524（1965）·兹伯利0139.12305 ·doi:10.1145/321296.321300 [8] Griswold，R.E.，Poage，J.F.，Polansky，I.P.：SNOBOL 4编程语言。恩格尔伍德悬崖（新泽西州）：普伦蒂斯·霍尔1968 [9] Knaster，B.：Un Théorème sur les functions d’ensembles。安·索克·波尔。数学。6, 133-134 (1928) ·JFM 54.0091.04标准 [10] Manna，Z.：非确定性程序的正确性。人工智能1，1-26（1970）·Zbl 0203.49402号 ·doi:10.1016/0004-3702（70）90002-0 [11] Manna，Z.：计算的数学理论。纽约：McGraw-Hill 1974·Zbl 0353.68066号 [12] Manna，Z.，Ness，S.，Vuillemin，J.：证明程序属性的归纳方法。通信ACM 16，491-502（1973）·Zbl 0278.68019号 ·数字对象标识代码：10.1145/355609.362336 [13] Patterson，M.S.，Hewitt，C.E.：比较图式学。并发系统和并行计算MAC项目会议记录，ACM，第119-1281970页 [14] Plotkin，G.D.：一种功率域结构。爱丁堡大学人工智能系，1975年·Zbl 0355.68015号 [15] Prenner，C.，Spitzen，J.，Wegbreit，B.：编程语言回溯的实现。程序。第27届国家ACM会议，第763-771页，1972年 此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。