安娜·帕兹托 “N+1次”证明了比“N次”更多的程序正确吗? (英语) Zbl 1509.68169号 Main,M.(ed.)等人,《编程语义的数学基础》。第五届国际会议,1989年3月29日至4月1日,美国路易斯安那州新奥尔良。诉讼程序。柏林等:Springer-Verlag。莱克特。注释计算。科学。442, 373-389 (1990).MSC公司:60年第68季度 03B44号 68号30 PDF格式BibTeX公司 XML格式引用 \textit{A.Pasztor},莱克特。注释计算。科学。442373-389(1990年;Zbl 1509.68169) 全文: 内政部
罗伯特·赫尔曼 计算机程序轨迹动力学的“几何”视图。 (英语) Zbl 0797.68024号 《应用学报》。数学。 18,第2期,145-182(1990).MSC公司:68号01 2005年第68季度 93C55美元 03B70号 55卢比99 PDF格式BibTeX公司 XML格式引用 \textit{R.Hermann},《应用学报》。数学。18,第2号,145--182(1990;Zbl 0797.68024) 全文: 内政部
安东尼·高尔顿 信息技术逻辑。 (英语) Zbl 0724.03002号 奇切斯特等:约翰·威利父子公司。viii,290页£32.50/hbk;$74.75/hbk;17.50英镑/桶;$40.25/pbk(1990年)。 审核人:A.M.Coyne(阿什维尔) MSC公司:03-01 03B05号 03B10号机组 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{A.Galton},信息技术逻辑。奇切斯特等:约翰·威利父子(1990;Zbl 0724.03002)
梅因,M。(编辑);梅尔顿,A。(编辑);Mislove,M。(编辑);施密特,D。(编辑) 编程语义的数学基础。第五届国际会议,1989年3月29日至4月1日,美国路易斯安那州新奥尔良。诉讼程序。 (英语) Zbl 0751.68005号 计算机科学课堂讲稿442.柏林等:斯普林格·弗拉格。VI、 439页(1990年)。 审核人:E.P.de Vink公司 MSC公司:68-06 68号30 68问题55 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{M.Main}(ed.)等人,编程语义的数学基础。第五届国际会议,1989年3月29日至4月1日,美国路易斯安那州新奥尔良。诉讼程序。柏林等:Springer-Verlag(1990;Zbl 0751.68005) 全文: 内政部
安东尼·高尔顿 对艾伦的行动和时间理论的批判性研究。 (英语) Zbl 0733.03017号 Artif公司。智力。 42,编号2-3159-188(1990). 审核人:M.Eytan(斯特拉斯堡) MSC公司:03B60号 68T27型 68立方英尺 03B80号 PDF格式BibTeX公司 XML格式引用 \textit{A.Galton},阿蒂夫。智力。42,编号2--3159--188(1990;Zbl 0733.03017) 全文: 内政部
迈克尔·汉森。;周朝晨 高阶过程的规范和验证。 (英语) Zbl 0732.03025号 计算机科学数学基础。第十五交响曲。,MFCS’90,BanskáBystrica/捷克。1990年,法律。注释计算。科学。452, 322-328 (1990).MSC公司:03B70号 2010年第68季度 68问题55 PDF格式BibTeX公司 XML格式
普利乌什凯维奇乌斯,里贾曼塔斯 用无限计算研究时间逻辑的有限计算。 (英语) Zbl 0732.03014号 计算机科学数学基础。第十五交响曲。,MFCS’90,BanskáBystrica/捷克。1990年,法律。注释计算。科学。452464-469(1990)中所述。MSC公司:03B45号 03B70号 05年3月 PDF格式BibTeX公司 XML格式
周朝晨;刘新新 用时态公式表示CSP。 (英语) 兹比尔0728.68082 J.计算。科学。Technol公司。 5,第1号,17-23(1990).MSC公司:68问题55 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{C.Zhou}和\textit{X.Liu},J.Compute。科学。Technol公司。5,编号1,17--23(1990;Zbl 0728.68082) 全文: 内政部
亚历山大·波奇曼 一致的瞬时间隔时间语义。二: 时间估值和变化逻辑。 (英语) 兹比尔0727.03018 圣母院J.形式逻辑 31,4号,580-601(1990). 审核人:J.Mackenzie(悉尼) MSC公司:03B65号 03B45号 03A05号 03B53号 PDF格式BibTeX公司 XML格式引用 \textit{A.Bochman},圣母院J.形式逻辑31,No.4,580--601(1990;Zbl 0727.03018) 全文: 内政部
赵旭东;冯玉林 并发系统的自动分层验证。 (英语) Zbl 0725.68044号 J.计算。科学。Technol公司。 5,第3期,241-249(1990).MSC公司:2010年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{X.Zhao}和\textit{Y.Feng},J.Compute。科学。Technol公司。5,第3号,241--249(1990;Zbl 0725.68044) 全文: 内政部
维尼马,伊德 区间时态逻辑的表达性和完备性。 (英语) Zbl 0725.03006号 圣母院J.形式逻辑 31,No.4,529-547(1990). 审核人:Y.威尼斯 MSC公司:03B45号 PDF格式BibTeX公司 XML格式引用 \textit{Y.Venema},圣母院J.形式逻辑31,No.4,529--547(1990;Zbl 0725.03006) 全文: 内政部
何塞·费亚德罗;阿米尔卡尔·塞尔纳达斯 系统规范的模态术语逻辑。 (英语) Zbl 0723.68070号 J.日志。计算。 第1卷第2期,187-227页(1990年).MSC公司:60年第68季度 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{J.Fiadeiro}和\textit{A.Sernadas},J.Log。计算。1,第2号,187--227(1990;Zbl 0723.68070) 全文: 内政部
迈克尔·卡明斯基;迈克尔·蒂姆金 分支时间逻辑的有限路径和循环路径模型。 (英语) Zbl 0722.03026号 J.日志。计算。 1,No.1,71-82(1990). 审核人:L.Brim(布尔诺) MSC公司:03B70号 2010年第68季度 68问题55 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{M.Kaminski}和\textit{M.Tiomkin},J.Log。计算。1,编号1,71--82(1990;Zbl 0722.03026) 全文: 内政部
查尔斯·B·克罗斯。 时间必要性和条件。 (英语) Zbl 0721.03007号 螺柱日志。 49,第3号,345-363(1990). 审核人:U.Schefler(柏林) MSC公司:03B45号 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{C.B.Cross},螺柱日志。49,第3号,345--363(1990;Zbl 0721.03007) 全文: 内政部
亚历山大·波奇曼 一致的瞬时间隔时间语义。一: 时间本体论。 (英语) Zbl 0718.03018号 圣母院J.形式逻辑 31,编号3403-414(1990). 审核人:J.Mackenzie(悉尼) MSC公司:03B65号 03B45号 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{A.Bochman},圣母院J.形式逻辑31,No.3,403--414(1990;Zbl 0718.03018) 全文: 内政部
Shmuel Katz;多龙·贝利德 交错集时序逻辑。 (英语) Zbl 0718.03014号 西奥。计算。科学。 75,第3期,第263-287页(1990年). 审核人:J.-J.Ch.Meyer(阿姆斯特丹) MSC公司:03B45号 60年第68季度 2010年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{S.Katz}和\textit{D.Peled},Theor。计算。科学。75,第3号,263--287(1990;Zbl 0718.03014) 全文: 内政部
埃里希·格拉德尔 复杂理论中的简单解释。 (英语) Zbl 0712.03006号 Inf.流程。莱特。 35,第5期,235-238(1990). 审核人:M.K.Val'ev先生 MSC公司:03B25号 03B45号 2015年3月1日 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Grädel},信息处理。莱特。35,编号5,235--238(1990;Zbl 0712.03006) 全文: 内政部
乔纳森·奥斯特罗夫。;W.Murray Wonham 实时离散事件控制框架。 (英语) Zbl 0709.68029号 IEEE传输。自动化。控制 35,No.4,386-397(1990).MSC公司:第68季度第45季度 2010年第68季度 93甲15 68N17号 68甲15 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{J.S.Ostroff}和\textit{W.M.Wonham},IEEE Trans。自动化。控制35,编号4,386--397(1990;Zbl 0709.68029) 全文: 内政部
马利奥金。 线性时间后继系统中双重归纳公理的可替换性。 (俄语。英文摘要) Zbl 0708.03030号 点燃。材料Sb。 30,第3号,548-556(1990).MSC公司:30楼03号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{L.Maliaukien},利托夫。材料编号30,编号3,548--556(1990;Zbl 0708.03030)
马利奥金。 时间-算术连续系统中归纳公理与谓词\(`<'')的可替换性。 (俄语。英文摘要) 兹伯利0704.03039 点燃。材料Sb。 30,第1期,117-125(1990).MSC公司:30楼03号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{L.Maliaukien},利托夫。材料编号30,编号1,117--125(1990;Zbl 0704.03039)
何旭东;约翰·A·N·李。 在并发系统的规范和验证中,将谓词转换网与一阶时序逻辑集成。 (英语) Zbl 0703.68078号 形式方面计算。 2,第3期,226-246(1990).MSC公司:68问题85 2010年第68季度 60年第68季度 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{X.He}和\textit{J.A.N.Lee},正式Asp。计算。2,编号3,226--246(1990;Zbl 0703.68078) 全文: 内政部
弗雷德·克罗格 关于时态逻辑中算术的可解释性。 (英语) Zbl 0703.03004号 西奥。计算。科学。 73,No.1,47-60(1990). 审核人:H.西村 MSC公司:03B45号 03B70号 68问题55 PDF格式BibTeX公司 XML格式引用 \文本{F.Kröger},Theor。计算。科学。73,编号1,47--60(1990;Zbl 0703.03004) 全文: 内政部
乌多·W·利佩克。 将动态完整性约束转换为事务规范。 (英语) Zbl 0702.68047号 西奥。计算。科学。 76,No.1,115-142(1990).MSC公司:第68页,共15页 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{U.W.Lipeck},Theor(西奥·利佩克)。计算。科学。76,编号1,115--142(1990;Zbl 0702.68047) 全文: 内政部
马丁·阿巴迪 勘误表:“时间证明的力量”。 (英语) 兹比尔0701.03009 西奥。计算。科学。 70,No.2,275(1990).MSC公司:03B45号 03财年03 PDF格式BibTeX公司 XML格式引用 \文本{M.Abadi},Theor。计算。科学。70,No.2,275(1990;Zbl 0701.03009) 全文: 内政部
何塞·卡莫;阿米尔卡尔·塞尔纳达斯 再次对线性逻辑进行分支。 (英语) Zbl 0697.68022号 形式方面计算。 2,第1号,24-59(1990).MSC公司:60年第68季度 03B45号 68第20页 PDF格式BibTeX公司 XML格式引用 \textit{J.Carmo}和\textit{A.Sernadas},正式Asp。计算。2,编号1,24-59(1990年;Zbl 0697.68022) 全文: 内政部
马丁·阿巴迪;佐哈尔·曼纳 一阶时序逻辑中的非子句演绎。 (英语) 兹伯利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) 全文: 内政部
杰拉德·利戈扎特 葛雷莱斯的Intervalles généralisés。(广义区间)。 (法语) Zbl 0694.03040号 C.R.学院。科学。,巴黎,Sér。我 310,第4期,225-228(1990).MSC公司:03G99型 68吨99 06年05月 03B45号 03G15年 20升05 PDF格式BibTeX公司 XML格式引用 \textit{G.Ligozat},C.R.学院。科学。,巴黎,Sér。I 310,编号4,225--228(1990;Zbl 0694.03040)
康拉德·特津斯基 Rogowski方向逻辑中的时间函子-一些结果。 (英语) Zbl 0694.03016号 牛市。第节。逻辑,Pol。阿卡德。科学。 19,第1号,30-32(1990). 审核人:L.F.戈布尔 MSC公司:03B50号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{K.Turzyñski},公牛。第节。逻辑,Pol。阿卡德。科学。19,第1号,30--32(1990;Zbl 0694.03016)
沃伊切赫,彭泽克 事件结构的时态逻辑。 (英语) Zbl 0789.03030号 数理逻辑,程序。夏季计划。Conf.Ded.公司。第90届安尼夫。Arend Heyting,柴卡/巴尔格。1988, 327-338 (1990). 审核人:J.-J.Ch.Meyer(乌得勒支) MSC公司:03B70号 03B45号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Penczek},in:数理逻辑。1988年9月13日至23日在保加利亚柴卡举行的纪念阿伦德·海廷(Arend Heyting,1898-1980)诞辰90周年暑期学校和会议记录。纽约:Plenum出版社。327--338(1990年;Zbl 0789.03030)
伊尔迪科·塞恩 过去证明了更多的不变性,但没有证明pca的不变性。 (英语) 兹伯利0743.03014 理论计算机科学方面和前景,Proc。第六届国际会议。Young计算公司。科学。,Smolence/捷克。1990年,法律。注释计算。科学。464, 80-92 (1990).MSC公司:03B45号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{I.Sain},莱克特。注释计算。科学。无,80-92(1990年;Zbl 0743.03014)
北卡罗来纳州阿勒希纳。;阿尼索夫·A.M。;拜斯特罗夫,P.I。;杰拉西莫娃,I.A。;梅斯科夫(V.S.Mes'kov)。;Nepejvoda,N.N。;斯米尔诺夫,V.A。;Stebletsova,V.N。;沙拉克,V.I。 逻辑和计算机。推理建模和程序正确性控制。(Logika i komp'yuter.Modelirovanie rassuzhdenij i proverka pravil'nosti程序。) (俄语) Zbl 0713.68050号 Kibernetika:Neogranichenye Vozmozhnosti i Vozmozznye Ogranicheniya。莫斯科:瑙卡。240 p.R.0.65(1990年)。 审核人:S.Vorob'ev公司 MSC公司:第68页第15页 68-06 60年第68季度 68-01 68立方英尺 03B70号 03B48号 68T27型 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{N.A.Aleshina}等人,Logika i komp'yuter。Modelirovanie rassuzhdenij i proverka pravil'nosti程序(俄语)。莫斯科:瑙卡(1990年;兹bl 0713.68050)
伊尔迪科·塞恩 过去荣耀的结果。 (英语) Zbl 0747.03011号 计算机科学数学基础。第十五交响曲。,MFCS’90,BanskáBystrica/捷克。1990年,法律。注释计算。科学。452, 478-484 (1990). 审核人:R.S.Lubarsky(兰开斯特) MSC公司:03B70号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{I.Sain},莱克特。注释计算。科学。无,478--484(1990年;Zbl 0747.03011)
多龙·贝利德;阿米尔·普努利 证明偏序活性性质。 (英语) Zbl 0765.68137号 自动化、语言和编程、Proc。第17国际学院,沃里克/GB 1990,法律。注释计算。科学。443, 553-571 (1990).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Peled}和\textit{A.Pnueli},莱克特。注释计算。科学。443553-571(1990年;Zbl 0765.68137)
Schnoebelen博士。;Pinchinat,S.公司。 关于分支时间-时间逻辑的弱充分性。 (英语) Zbl 0765.68144号 90年员工持股计划,程序。欧洲第三交响曲。,哥本哈根/丹麦,1990年,Lect。注释计算。科学。432, 377-388 (1990).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Ph.Schnoebelen}和\textit{S.Pinchinat},莱克托。注释计算。科学。432377-388(1990年;Zbl 0765.68144)
Malyarov,A.N。;A.N.Isachenko。 分布式信息资源阻塞的逻辑规范。 (俄语) Zbl 0790.68031号 维斯特。白俄罗斯。戈斯。进出口大学。V.I.Lenina,爵士。我 1990年,第3期,38-41(1990).MSC公司:第68页,共15页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.N.Malyarov}和\textit{A.N.Isachenko},Vestn。白俄罗斯。戈斯。进出口大学。V.I.Lenina,爵士。I 1990,编号3,38-41(1990;Zbl 0790.68031)
D.M.加巴伊。;I.M.霍德金森。 实数上的时态逻辑的公理化。 (英语) Zbl 0744.03018号 J.日志。计算。 1,No.2,229-259(1990). 审核人:J.Šefránek(布拉迪斯拉发) MSC公司:03B45号 PDF格式BibTeX公司 XML格式引用 \textit{D.M.Gabbay}和\textit{I.M.Hodkinson},J.Log。计算。1,No.2,229--259(1990;Zbl 0744.03018) 全文: 内政部