Bhat,Kabekode V.S.公司。 模糊开关函数最小化理论。 (英语) 兹比尔0577.94025 系统。科学。 9(1985), 5-18 (1983). 审核人:尼古拉·恩德·拉努(克雷奥瓦) MSC公司:94C11号机组 94D05型 PDF格式BibTeX公司 XML格式引用 \textit{K.V.S.Bhat},系统。科学。9、5--18(1983年;Zbl 0577.94025)
维克托丹科 算法理论的可解释性。 (英语) Zbl 0559.68048号 安.社会.数学。政策。,序列号。四、 芬丹。信息。 6, 217-233 (1983). 审核人:A.克雷茨马尔 MSC公司:68问题65 60年第68季度 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{W.Dańko},安·索克·数学。政策。,序列号。四、 芬丹。Inf.6,217--233(1983;Zbl 0559.68048)
艾伦·戈德堡;保罗,普多姆;辛西娅·布朗 “简化Davis-Putnam程序的平均时间分析”勘误表。 (英语) Zbl 0545.68080号 信息处理。莱特。 16, 213 (1983).MSC公司:68吨15 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Goldberg}等人,《信息处理》。莱特。16、213(1983年;Zbl 0545.68080) 全文: DOI程序
杰罗姆·马利茨 句子\(L^{1,1}\)可满足性的向下转移。 (英语) Zbl 0537.03025号 J.塞姆。日志。 48, 1146-1150 (1983). 审核人:D.蒙迪奇 MSC公司:03C80号 PDF格式BibTeX公司 XML格式引用 \文本{J.Malitz},J.Symb。日志。481146--1150(1983年;Zbl 0537.03025) 全文: DOI程序
弗罗·拉格罗 序列一致性和插值定理。 (英语) Zbl 0534.03014号 伦德。帕多瓦州立大学 70, 133-145 (1983).MSC公司:03C40号 03C75号 PDF格式BibTeX公司 XML格式引用 \textit{R.Ferro},伦德。塞明。帕多瓦马特大学70、133--145(1983;Zbl 0534.03014) 全文: Numdam编号 欧洲DML
皮埃尔·沃尔珀 时间逻辑可以更具表现力。 (英语) Zbl 0534.03009号 Inf.控制 56, 72-99 (1983). 审核人:J.兹拉图斯卡 MSC公司:03B45号 20层03 60年第68季度 68问题65 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{P.Wolper},Inf.Control公司56,72--99(1983;Zbl 0534.03009) 全文: DOI程序
尤里·古里维奇;萨拉、撒哈拉 随机模型和决策问题的哥德尔情形。 (英语) Zbl 0534.03006号 J.塞姆。日志。 48, 1120-1124 (1983). 审核人:M.R.Krom先生 MSC公司:03B25号 03天35分 03C13号机组 PDF格式BibTeX公司 XML格式引用 \textit{Y.Gurevich}和\textit{S.Shelah},J.Symb。日志。481120--1124(1983;Zbl 0534.03006) 全文: DOI程序
莫德凯·本·阿里;阿米尔·普努利;佐哈尔·曼纳 分支时间的时间逻辑。 (英语) Zbl 0533.68036号 学报信息。 207-226年(1983年).MSC公司:68问题65 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{M.Ben-Ari}等人,《信息学报》20,207--226(1983;Zbl 0533.68036) 全文: DOI程序
马提亚斯·拉加兹 Die Unentscheidbarkeit der einstelligen unedlichwertigen Prädikatenlogik公司。 (德语) Zbl 0533.03007号 架构(architecture)。数学。Logik Grundlagenforsch公司。 23, 129-139 (1983).MSC公司:03B50号 03天35分 PDF格式BibTeX公司 XML格式引用 \textit{M.Ragaz},拱门。数学。Logik Grundlagenforsch公司。23129-139(1983年;兹bl 0533.03007) 全文: DOI程序 欧洲DML
菲利普·罗思马勒 对分叉理论基础的另一种处理。 (英语) Zbl 0532.03012号 研讨会。,洪堡大学(Sekt.Berlin)。数学。 49, 110-128 (1983).MSC公司:03C45号机组 PDF格式BibTeX公司 XML格式引用 \textit{P.Rothmaler},研讨会。,洪堡大学(Sekt.Berlin)。数学。49、110-128(1983年;Zbl 0532.03012)
N.古德曼。;O.什穆利。 在树模式上简化的NP完全问题。 (英语) Zbl 0523.68035号 学报信息。 20, 171-178 (1983).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Goodman}和\textit{O.Shmueli},《学报》第20期,第171--178页(1983年;Zbl 0523.68035) 全文: DOI程序
博格丹·S·克莱布斯。 关于程序的四种逻辑及其可满足性问题的复杂性:扩展抽象。 (英语) Zbl 0513.68023号 程序逻辑及其应用,Proc。交响乐团。,波兹南1980年,Lect。注释计算。科学。148, 98-107 (1983).MSC公司:68问题65 68号01 03B60号 03B45号 2015年3月1日 PDF格式BibTeX公司 XML格式
约翰·佛朗哥;马文·保罗 求解可满足性问题的Davis-Putnam程序的概率分析。 (英语) Zbl 0497.68021号 离散应用程序。数学。 5, 77-87 (1983); 更正同上17,295-299(1987)。MSC公司:65年第68季度 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Franco}和\textit{M.Paull},离散应用。数学。5、77——87(1983年;Zbl 0497.68021) 全文: DOI程序
佐兰·马尔科维奇 Kripke模型中经典可满足性和直觉可满足性的一些保持结果。 (英语) Zbl 0487.03015号 圣母院J.形式逻辑 24, 395-398 (1983).MSC公司:03C25号 03楼55 PDF格式BibTeX公司 XML格式引用 \textit{Z.Markovic},圣母院J.形式逻辑24,395--398(1983;Zbl 0487.03015) 全文: DOI程序