尼西姆·弗朗西兹;奥尔纳·格隆伯格;Shmuel Katz;阿米尔·普努利 证明Prolog程序的终止。 (英语) Zbl 0577.68023号 程序逻辑,程序。Conf.,布鲁克林/纽约,1985年,Lect。注释计算。科学。193, 89-105 (1985).MSC公司:68号01 60年第68季度 PDF格式BibTeX公司 XML格式
北弗朗西兹。;D.莱曼。;A.普努利。 分布式编程语言的线性历史语义。 (英语) Zbl 0543.68019号 西奥。计算。科学。 32, 25-46 (1984).MSC公司:68N25号 68号01 PDF格式BibTeX公司 XML格式引用 \textit{N.Francez}等人,Theor。计算。科学。32、25-46(1984年;Zbl 0543.68019) 全文: 内政部
尼西姆·弗朗西兹;阿米尔·普努利 循环程序的一种证明方法。 (英语) Zbl 0367.68009号 学报信息。 9, 133-157 (1978).MSC公司:68号01 PDF格式BibTeX公司 XML格式引用 \textit{N.Francez}和\textit{A.Pnueli},《信息学报》9,133--157(1978;Zbl 0367.68009) 全文: 内政部
尼西姆·弗朗西兹;鲍里斯·克莱班斯基;阿米尔·普努利 递归计算中的回溯。 (英语) Zbl 0359.68023号 学报信息。 8, 125-144 (1977).MSC公司:68号01 68瓦99 PDF格式BibTeX公司 XML格式引用 \textit{N.Francez}等人,《信息学报》8,125--144(1977;Zbl 0359.68023) 全文: 内政部