马丁·阿巴迪;佐哈尔·曼纳 一阶时序逻辑中的非子句演绎。 (英语) Zbl 0696.68096号 J.协会计算。机器。 37,No.2,279-317(1990).MSC公司:68吨15 03B35型 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.Abadi}和\textit{Z.Manna},J.协会计算。机器。37,第2号,279--317(1990年;Zbl 0696.68096) 全文: 内政部
佐哈尔·曼纳;理查德·沃尔丁格 自动扣除中的特殊关系。 (英语) Zbl 0637.68103号 J.协会计算。机器。 33, 1-59 (1986).MSC公司:68吨15 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{Z.Manna}和\textit{R.Waldinger},J.协会计算。机器。33、1-59(1986年;Zbl 0637.68103) 全文: 内政部
爱德华·阿什克罗夫特;佐哈尔·曼纳;阿米尔·普努利 一元函数模式的可判定属性。 (英语) Zbl 0289.68036号 J.协会计算。机器。 20, 489-499 (1973).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Ashcroft}等人,J.协会计算。机器。20489年至499年(1973年;兹bl 0289.68036) 全文: 内政部
佐哈尔·曼纳;阿米尔·普努利 函数程序属性的形式化。 (英语) Zbl 0206.17503号 J.协会计算。机器。 17, 555-569 (1970). 审核人:沃尔特·伊塞尔(柏林) MSC公司:68号01 PDF格式BibTeX公司 XML格式引用 \textit{Z.Manna}和\textit{A.Pnueli},J.协会计算。机器。17、555--569(1970年;Zbl 0206.17503) 全文: 内政部
Z.曼纳。 程序的属性和一阶谓词演算。 (英语) Zbl 0198.22001 J.协会计算。机器。 16, 244-255 (1969). PDF格式BibTeX公司 XML格式引用 \textit{Z.Manna},J.协会计算。机器。16、244--255(1969年;Zbl 0198.22001) 全文: 内政部