西斯特拉,A.P。;E.M.克拉克。 命题线性时序逻辑的复杂性。 (英语) Zbl 0632.68034号 J.协会计算。机器。 32, 733-749 (1985).MSC公司:68问题65 03B70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.P.Sistla}和\textit{E.M.Clarke},J.协会计算。机器。32733--749(1985年;Zbl 0632.68034) 全文: 内政部
蒂亚格诺夫,L.I。 关于P类和NP类之间的关系问题。 (英语。俄文原件) Zbl 0617.68049号 苏联。数学。,多克。 32, 474-477 (1985); 翻译自Dokl。阿卡德。Nauk SSSR 284,560-563(1985)。 审核人:H.替代 MSC公司:65年第68季度 2015年3月1日 PDF格式BibTeX公司 XML格式引用 \textit{L.I.Tyagunov},苏联。数学。,多克。32474--477(1985年;Zbl 0617.68049);翻译自Dokl。阿卡德。Nauk SSSR 284、560--563(1985)
查格罗夫。 论命题逻辑的复杂性。 (俄语) Zbl 0615.03023号 数学逻辑的复杂性问题,收集。科学。作品,加里宁1985,80-90(1985)。 审核人:S.D.拉托 MSC公司:2015年3月1日 03B55号 03B45号 PDF格式BibTeX公司 XML格式
A.贝托尼。;G·莫里。;北萨巴迪尼。 简洁地表示了随机存取机器类之间的模拟和数字之间的等价性。 (英语) Zbl 0609.68039号 组合问题算法的分析与设计,离散数学。25, 65-89 (1985). 审核人:G.韦奇星 MSC公司:65年第68季度 2005年第68季度 03B25号 2015年3月1日 03日第10天 PDF格式BibTeX公司 XML格式
克纳斯特,R。 术语可满足性的命题计算和过程逻辑。 (英语) Zbl 0605.03011号 计算理论,Proc。第五交响曲。,扎博罗w/Pol。1984年,Lect。注释计算。科学。208, 118-126 (1985).MSC公司:03B70号 03B25号 PDF格式BibTeX公司 XML格式
博格丹·S·克莱布斯。 从多米诺骨牌到新的计算模型。 (英语) 兹伯利0604.68053 计算理论,Proc。第五交响曲。,扎博罗w/Pol。1984年,Lect。注释计算。科学。208, 24-33 (1985).MSC公司:2005年第68季度 05B45号 2015年3月1日 65年第68季度 PDF格式BibTeX公司 XML格式
G.文卡泰什。 一种基于分辨率的时序逻辑判定方法。 (英语) Zbl 0604.03005号 软件技术和理论计算机科学基础,Proc。第五届会议,新德里/印度1985年,Lect。注释计算。科学。206, 272-289 (1985). 审核人:H.P.施密特 MSC公司:03B45号 03B25号 68吨15 03B35型 PDF格式BibTeX公司 XML格式
黄明德A。;卡尔·J·利伯海尔。 禁止结构对极值算法问题的影响。 (英语) Zbl 0603.68041号 西奥。计算。科学。 40, 195-210 (1985).MSC公司:65年第68季度 03B25号 68卢比99 PDF格式BibTeX公司 XML格式引用 \textit{M.-D.A.Huang}和\textit{K.J.Lieberherr},Theor。计算。科学。40195-210(1985年;Zbl 0603.68041) 全文: 内政部
罗伯特·S·斯特雷特。 定点和程序循环:将命题MU演算简化为循环的命题动态逻辑。 (英语) Zbl 0603.68033号 程序逻辑,程序。Conf.,布鲁克林/纽约,1985年,Lect。注释计算。科学。193, 359-372 (1985).MSC公司:68问题65 03B70号 PDF格式BibTeX公司 XML格式
艾默生·E·艾伦 自动机、表和时态逻辑。 (英语) Zbl 0603.03005号 程序逻辑,程序。Conf.,布鲁克林/纽约,1985年,Lect。注释计算。科学。193, 79-88 (1985).MSC公司:03B25号 03B70号 05年3月 PDF格式BibTeX公司 XML格式
罗希特·帕里赫;阿肖克·钱德拉;乔·哈尔珀;阿尔伯特·迈耶 正则项和过程逻辑应用程序之间的等式。 (英语) Zbl 0587.68031号 SIAM J.计算。 14, 935-942 (1985). 审核人:A.P.斯托尔布什金 MSC公司:68问题65 60年第68季度 03B25号 05年3月 03B45号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Parikh}等人,SIAM J.Compute。14、935--942(1985;Zbl 0587.68031) 全文: 内政部
坎通纳,D。;J.T.施瓦茨。;费罗,A。 集合论初等子语言的决策过程。六: 幂集算子扩展的多级三段论。 (英语) Zbl 0582.03005号 Commun公司。纯应用程序。数学。 38, 549-571 (1985). 审核人:J.M.普洛金 MSC公司:03B25号 03E99型 PDF格式BibTeX公司 XML格式引用 \textit{D.Cantone}等人,Commun。纯应用程序。数学。38、549--571(1985;Zbl 0582.03005) 全文: 内政部 链接
西斯特拉·A·普拉萨德;莫舍·瓦尔迪。;皮埃尔·沃尔珀 Büchi自动机的互补问题及其在时序逻辑中的应用。 (英语) 兹伯利0577.03019 《自动化、语言和编程》,第12届Colloq.,Nafplion/希腊1985年,Lect。注释计算。科学。194, 465-474 (1985). 审核人:A.克雷茨马尔 MSC公司:05年3月 03B25号 68问题65 2015年3月1日 03B45号 PDF格式BibTeX公司 XML格式
Paul Walton jun,普多姆。;辛西娅·布朗(Cynthia A.Brown)。 纯文字规则和多项式平均时间。 (英语) Zbl 0575.68060号 SIAM J.计算。 14, 943-953 (1985).MSC公司:68页第10页 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.W.Purdom jun.}和\textit{C.A.Brown},SIAM J.Compute。14、943--953(1985年;Zbl 0575.68060) 全文: 内政部
艾默生·E·艾伦;约瑟夫·霍尔珀(Joseph Y.Halpern)。 分支时间的时序逻辑中的决策过程和表达能力。 (英语) Zbl 0559.68051号 J.计算。系统。科学。 30, 1-24 (1985). 审核人:H.西村 MSC公司:68问题65 03B45号 03B25号 2015年3月1日 PDF格式BibTeX公司 XML格式引用 \textit{E.A.Emerson}和\textit{J.Y.Halpern},J.Compute。系统。科学。30,1--24(1985;Zbl 0559.68051) 全文: 内政部