阿米尔·普努利;乔拉·斯卢茨基 有限状态线性程序的自动编程。 (英语) Zbl 0462.68002号 SIAM J.计算。 10, 519-535 (1981).MSC公司:60年第68季度 2005年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Pnueli}和\textit{G.Slutzki},SIAM J.Compute。10519-535(1981年;Zbl 0462.68002) 全文: 内政部
A.普努利。;斯拉茨基,G。 简单程序及其决策问题。 (英语) Zbl 0364.68014号 《自动化、语言和编程》,第四届Colloq.,Turku 1977,Lect。票据计算。科学。52, 380-390 (1977).MSC公司:68号01 PDF格式BibTeX公司 XML格式