蒂洛·哈弗 无限树上的自动机和逻辑。(自动化和物流 (德语) Zbl 0741.03018号 亚琛:亚琛RWTH,数学-大自然。法克/联邦调查局第116号第(1989)条。 审核人:A.A.Mullin(亨茨维尔) MSC公司:05年3月 03B45号 03-02 03B70号 03年2月25日 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Hafer},Automaten und Logikenüber unendlichen Bäumen公司。亚琛:亚琛RWTH,数学-大自然。法克/FB 1(1989;Zbl 0741.03018)
埃里克·奥杜罗;路易斯·法里纳斯·德尔·塞罗;帕特里斯·恩贾尔伯特 Logique tempolelle公司。Semostive et validation de programs paralliles系列。 (法语) Zbl 0702.68050号 信息学教育与研究。巴黎:马森。《联邦公报》第232页第210.00页(1989年)。 审核人:N.Curteanu公司 MSC公司:2010年第68季度 60年第68季度 03B45号 68立方英尺 68吨15 68-02 PDF格式BibTeX公司 XML格式引用 \textit{E.Audureau}等人,Logique tempolelle。Semostive et validation de programs paralliles系列。巴黎:马森(1989;Zbl 0702.68050)
安德烈·塞斯(编辑) 从模态逻辑到演绎数据库。引入基于逻辑的人工智能方法。 (英语) Zbl 0682.68096号 奇切斯特等:威利父子公司第二十四期,380页(1989年)。 审核人:N.Curteanu公司 MSC公司:68吨15 68-02 03B45号 68T50型 60年第68季度 68T99型 03B35型 03B65号 68第20页 PDF格式BibTeX公司 XML格式引用 \textit{A.Thayse}(编辑),从模态逻辑到演绎数据库。引入基于逻辑的人工智能方法。奇切斯特等:威利父子有限公司(1989;Zbl 0682.68096)
雅各布斯·W·德·巴克。(编辑);威廉·鲍尔·德·罗弗(编辑);格列泽戈兹·罗森贝格(编辑) 并行逻辑和模型中的线性时间、分支时间和部分顺序。1988年5月30日至6月3日,荷兰Noordwijkerhout学校/研讨会。诉讼程序。 (英语) Zbl 0683.68001号 计算机科学课堂讲稿354.柏林等:斯普林格·弗拉格。八、 第713页(1989年)。MSC公司:68-06 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{J.W.de Bakker}(ed.)等人,逻辑和并发模型中的线性时间、分支时间和偏序。1988年5月30日至6月3日,荷兰诺德威克霍特学校/工作室。诉讼程序。柏林等:Springer-Verlag(1989;Zbl 0683.68001)
马达瓦恩·穆昆德;蒂亚加拉扬,P.S。 事件结构的公理化。 (英语) Zbl 0731.03021号 软件技术和理论计算机科学基础。第九届会议,班加罗尔/印度,1989年,法律。注释计算。科学。405, 143-160 (1989).MSC公司:03B80号 2010年第68季度 06年06月06日 68问题85 03B45号 PDF格式BibTeX公司 XML格式
A.I.米古诺夫。 在描述和补充知识时使用内涵逻辑模型。 (英语。俄文原件) Zbl 0727.68117号 苏联。J.计算。系统。科学。 27,第6号,1-9(1989); Izv的翻译。阿卡德。Tekh Nauk SSSR公司。基伯恩。1988年,第5期,86-95(1988)。MSC公司:68立方英尺 03B47号 PDF格式BibTeX公司 XML格式引用 \textit{A.I.米古诺夫},Sov。J.计算。系统。科学。27,第6号,1-9(1989;Zbl 0727.68117);Izv的翻译。阿卡德。Tekh Nauk SSSR公司。基伯恩。1988年,第5期,86-95(1988)
冈特·萨克;乌多·W·利佩克。 使用有限线性时序逻辑指定数据库动态。 (英语) Zbl 0727.68031号 CSL’88,程序。第二次研讨会,杜伊斯堡/FRG 1988,Lect。注释计算。科学。385, 288-300 (1989). 审核人:M.Zimand(布库雷什蒂) MSC公司:第68页,共15页 PDF格式BibTeX公司 XML格式
Sakalauskaitö,Jératö 一阶无限分支时序逻辑的语义割消。 (英语) Zbl 0726.03007号 Mat.Logika底漆。 6, 107-117 (1989).MSC公司:03B45号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{J.Sakalauskait},Mat.Logika引文。6、107-117(1989年;Zbl 0726.03007)
里贾曼塔斯Plyushkyavichyus 分支时序逻辑的(ω)-约简方法。 (俄语。英文摘要) Zbl 0726.03006号 Mat.Logika底漆。 6, 86-106 (1989).MSC公司:03B45号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{R.Plyushkyavichyus},Mat.Logika引文。6、86-106(1989年;Zbl 0726.03006)
古兹欣斯卡斯(Gudzhinskas)、埃吉吉尔达斯(Ehjgirdas) 时序逻辑的非子句解析的顺序变体。 (俄语。英文摘要) Zbl 0726.03003号 Mat.Logika底漆。 6, 51-58 (1989).MSC公司:03B45号 03B35型 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{E.Gudzhinskas},Mat.Logika引文。6、51-58(1989年;Zbl 0726.03003)
彼得·范比克 时间推理的近似算法。 (英语) Zbl 0718.68065号 IJCAI 89,程序。国际会议,密歇根州底特律,美国1989,1291-1296(1989)。 审核人:N.Curteanu(伊阿什) MSC公司:68吨15 68立方英尺 PDF格式BibTeX公司 XML格式
米拉·巴拉班;尼尔·V·莫里。 时间结构的逻辑:时间和非单调特征。 (英语) 兹比尔0718.68064 IJCAI 89,程序。国际会议,密歇根州底特律,美国1989年,1285-1290(1989)。 审核人:N.Curteanu(伊阿什) MSC公司:68吨15 68立方英尺 03B45号 PDF格式BibTeX公司 XML格式
约夫·肖姆 行动时间:关于时间、知识和行动之间的关系。 (英语) Zbl 0713.68091号 IJCAI 89,程序。国际会议,密歇根州底特律,美国1989,954-959(1989)。 审核人:N.Curteanu公司 MSC公司:68立方英尺 68吨15 68T20型 PDF格式BibTeX公司 XML格式
埃里克·桑德沃尔 过滤几乎连续世界中动作逻辑的优先蕴涵。 (英语) Zbl 0713.68063号 IJCAI 89,程序。国际会议,密歇根州底特律,美国1989,894-899(1989)。 审核人:北柯蒂安努 MSC公司:68吨15 68立方英尺 68T20型 PDF格式BibTeX公司 XML格式
休伯特·瓦格纳 关于树自动机的空性问题和程序模态逻辑的完备性。 (英语) Zbl 0712.03029号 CSL’88,程序。第二次研讨会,杜伊斯堡/FRG 1988,Lect。注释计算。科学。385, 384-399 (1989).MSC公司:05年3月 03B70号 2015年3月1日 03B45号 PDF格式BibTeX公司 XML格式
利珀特,D。 区间时序逻辑和无星表达式。 (英语) 兹伯利0712.03016 CSL’88,程序。第二次研讨会,杜伊斯堡/FRG 1988,Lect。注释计算。科学。385, 187-198 (1989).MSC公司:03B70号 65年第68季度 05年3月 94立方厘米 PDF格式BibTeX公司 XML格式
巴巴拉·佩奇 Gentzen-命题时序逻辑系统。 (英语) Zbl 0712.03015号 CSL’88,程序。第二次研讨会,杜伊斯堡/FRG 1988,Lect。注释计算。科学。385, 240-253 (1989).MSC公司:03B70号 05年3月 03B45号 PDF格式BibTeX公司 XML格式
尼尔·伊梅尔曼;德克斯特·科赞 有界变量数的可定义性。 (英语) Zbl 0711.03004号 Inf.计算。 83,第2期,121-139(1989). 审核人:J.Šefránek先生 MSC公司:03B70号 03C30号 03B45号 03C13号机组 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{N.Immerman}和\textit{D.Kozen},信息计算。83,第2号,121--139(1989;Zbl 0711.03004) 全文: 内政部
埃里克·桑德沃尔 结合逻辑和微分方程来描述真实世界的系统。 (英语) Zbl 0709.68043号 知识表示和推理原理。第一。多伦多/加拿大国际会议。1989, 412-420 (1989).MSC公司:68时01分 03B45号 03B47号 PDF格式BibTeX公司 XML格式
法希姆·巴克斯;乔什·特内伯格;Johannes A.Koomen。 非具体化的时序逻辑。 (英语) 兹伯利0706.03022 知识表示和推理原理。第一。多伦多/加拿大国际会议。1989, 2-10 (1989). 审核人:L.州 MSC公司:03B60号 03B45号 68T27型 03B80号 PDF格式BibTeX公司 XML格式
佐哈尔·曼纳;阿米尔·普努利 完成时间画面。 (英语) Zbl 0703.68075号 自动化、语言和编程、Proc。第16国际学院,斯特雷萨/意大利1989年,法律。注释计算。科学。372, 534-558 (1989). 审核人:M.K.Val'ev先生 MSC公司:60年第68季度 68问题85 03B70号 PDF格式BibTeX公司 XML格式
托马斯·迪安 使用时态层次结构有效地维护大型时态数据库。 (英语) Zbl 0698.68091号 J.协会计算。机器。 36,第4期,687-718(1989).MSC公司:68第20页 68T20型 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{T.Dean},J.协会计算。机器。36,第4号,687--718(1989;Zbl 0698.68091) 全文: 内政部
伊尔迪科·塞恩 计算机科学时序逻辑需要时钟。 (英语) Zbl 0696.03012号 牛市。第节。逻辑,Pol。阿卡德。科学。 18,第4期,153-160(1989). 审核人:J.-J.Ch.梅耶 MSC公司:03B70号 PDF格式BibTeX公司 XML格式引用 \textit{I.Sain},公牛。第节。逻辑,Pol。阿卡德。科学。18,第4号,153--160(1989;Zbl 0696.03012)
马丁·阿巴迪;佐哈尔·曼纳 时序逻辑编程。 (英语) Zbl 0691.03015号 J.塞姆。计算。 8,第3期,277-295(1989). 审核人:C.马萨拉吉 MSC公司:03B70号 03B35型 68号01 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{M.Abadi}和\textit{Z.Manna},J.Symb。计算。8,第3号,277--295(1989;Zbl 0691.03015) 全文: 内政部
E.M.克拉克。;O·格伦伯格。;库尔山,R.P。 两种有限状态并发系统验证方法的综合。 (英语) Zbl 0688.68019号 Botik的逻辑,Proc。计算机科学逻辑基础研讨会,佩雷斯拉夫·泽莱斯基/苏联1989年,Lect。注释计算。科学。363, 81-90 (1989). 审核人:H.保险丝 MSC公司:68N25号 68-04 65年第68季度 PDF格式BibTeX公司 XML格式
阿米尔·普努利;罗尼·罗斯纳 关于异步反应模块的综合。 (英语) 兹伯利0686.68015 自动化、语言和编程、Proc。第16国际学院,斯特雷萨/意大利1989年,法律。注释计算。科学。372, 652-671 (1989).MSC公司:60年第68季度 68N25号 03B45号 65年第68季度 PDF格式BibTeX公司 XML格式
维尼马,伊德 关系代数的二维模态逻辑和区间的时间逻辑。 (英语) Zbl 0685.03014号 牛市。第节。逻辑,Pol。阿卡德。科学。 18,第4号,167-174(1989).MSC公司:03B45号 03G15年 PDF格式BibTeX公司 XML格式引用 \textit{Y.Venema},公牛。第节。逻辑,Pol。阿卡德。科学。18,第4号,167--174(1989;Zbl 0685.03014)
Reisig,W。 分布式系统中因果关系和选择的时序逻辑。(技术贡献)。 (英语) Zbl 0683.68072号 逻辑和并发模型中的线性时间、分支时间和偏序,Proc。研讨会,Noordwijkerhout/NL 1988,Lect。注释计算。科学。354, 603-627 (1989). 审核人:N.Curteanu公司 MSC公司:第68季度55 68N25号 68问题85 03B45号 PDF格式BibTeX公司 XML格式
托马斯·W·。 计算树逻辑和常规语言。(技术贡献)。 (英语) Zbl 0683.68064号 逻辑和并发模型中的线性时间、分支时间和偏序,Proc。研讨会,Noordwijkerhout/NL 1988,Lect。注释计算。科学。第354690-713页(1989年)。 审核人:N.Curteanu公司 MSC公司:65年第68季度 03B44号 PDF格式BibTeX公司 XML格式
Z.曼纳。;A.普努利。 时态框架的锚定版本。(教程)。 (英语) Zbl 0683.68031号 逻辑和并发模型中的线性时间、分支时间和偏序,Proc。研讨会,Noordwijkerhout/NL 1988,Lect。注释计算。科学。354, 201-284 (1989). 审核人:N.Curteanu公司 MSC公司:68问题65 03B44号 60年第68季度 68N25号 68T99型 PDF格式BibTeX公司 XML格式
E.M.克拉克。;基塞斯库博士,I.A。 线性时间逻辑和分支时间逻辑的可表达性结果。(技术贡献)。 (英语) Zbl 0683.68030号 逻辑和并发模型中的线性时间、分支时间和偏序,Proc。工作坊,Noordwijkerhout/NL 1988,勒克特。注释计算。科学。354, 428-437 (1989). 审核人:N.Curteanu公司 MSC公司:68问题65 03B45号 60年第68季度 PDF格式BibTeX公司 XML格式
H·盖夫曼。 通过部分顺序和非线性转换系统建模并发。(技术贡献)。 (英语) Zbl 0683.68020号 逻辑和并发模型中的线性时间、分支时间和偏序,Proc。研讨会,Noordwijkerhout/NL 1988,Lect。注释计算。科学。354, 467-488 (1989). 审核人:N.Curteanu公司 MSC公司:68N25号 68问题85 06年06月06日 60年第68季度 68问题65 03B99号 PDF格式BibTeX公司 XML格式
斯特林,C。 CCS的时间逻辑。(技术贡献)。 (英语) Zbl 0683.68016号 逻辑和并发模型中的线性时间、分支时间和部分顺序。研讨会,Noordwijkerhout/NL 1988,Lect。注释计算。科学。354, 660-672 (1989). 审核人:N.Curteanu公司 MSC公司:60年第68季度 68N25号 03B45号 第68季度55 68问题85 PDF格式BibTeX公司 XML格式
艾默生·E·艾伦;贾伊·斯里尼瓦桑 分支时间时序逻辑。(教程)。 (英语) 兹伯利0683.68013 线性时间、分支时间和偏序逻辑以及并发模型,Proc。研讨会,Noordwijkerhout/NL 1988,Lect。注释计算。科学。354, 123-172 (1989). 审核人:北柯蒂安努 MSC公司:60年第68季度 第68季度55 68吨15 03B45号 65年第68季度 PDF格式BibTeX公司 XML格式
约翰·范·本特姆 时间、逻辑和计算。(教程)。 (英语) Zbl 0683.68004号 逻辑和并发模型中的线性时间、分支时间和偏序,Proc。研讨会,Noordwijkerhout/NL 1988,Lect。注释计算。科学。354, 1-49 (1989). 审核人:N.Curteanu公司 MSC公司:68-02 99年第68季度 68N99型 03B44号 03B45号 PDF格式BibTeX公司 XML格式
唐、童高 时序逻辑CTL\(+\)Prolog。 (英语) Zbl 0681.68018号 J.自动化。推理 5,第1号,49-65(1989). 审核人:M.K.Val'ev先生 MSC公司:68号01 03B45号 03B70号 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{T.G.Tang},J.Autom。推理5,No.1,49--65(1989;Zbl 0681.68018) 全文: 内政部
安德烈·阿诺德;安妮·迪克 过渡系统等价性的代数表征。 (英语) Zbl 0679.68116号 Inf.计算。 82,第2期,198-229(1989). 审核人:B.池塘 MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Arnold}和\textit{A.Dicky},信息计算。82,No.2,198--229(1989;Zbl 0679.68116) 全文: 内政部
安德烈·萨拉斯;乌韦·彼得曼 分布式系统的时态逻辑及其在中断通信进程中的应用。 (英语) Zbl 0679.03006号 安.社会.数学。政策。,序列号。IV、 芬达姆。信息。 191-203年第2期第12页(1989年). 审核人:L.布里姆 MSC公司:03B70号 68N25号 60年第68季度 03B45号 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{A.Szalas}和\textit{U.Petermann},Ann.Soc.Math。政策。,序列号。IV、 芬达姆。Inf.12,No.2,191--203(1989;Zbl 0679.03006)
牛顿·C·A·达·科斯塔。;法国人,史蒂文 关于时序逻辑的注释。 (英语) Zbl 0679.03003号 牛市。第节。逻辑,Pol。阿卡德。科学。 18,第2期,第51-56页(1989年). 审核人:V.V.雷巴科夫 MSC公司:03B45号 PDF格式BibTeX公司 XML格式引用 \textit{N.C.A.da Costa}和\textit{S.French},公牛。第节。逻辑,Pol。阿卡德。科学。18,编号2,51-56(1989;Zbl 0679.03003)
李仁伟 N系统:一种自然时间演绎系统。 (英语) Zbl 0677.03014号 下巴。科学。牛市。 34,第5期,361-364(1989).MSC公司:03B45号 03B70号 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{R.Li},Chin(中国)。科学。牛市。34,第5号,361--364(1989;Zbl 0677.03014)
杰拉德·利戈扎特;赫莱内·贝斯托夫 关于区间之间的关系。 (英语) Zbl 0676.68062号 Inf.流程。莱特。 32,第4期,177-182(1989).MSC公司:68T99型 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{G.Ligozat}和\textit{H.Bestougeff},Inf.过程。莱特。32,第4号,177--182(1989;Zbl 0676.68062) 全文: 内政部
S.K.托马森。 从事件中自由构建时间。 (英语) Zbl 0674.03001号 J.菲洛斯。逻辑 18,No.1,43-67(1989). 审核人:B.M.Schein先生 MSC公司:03A05号 06年05月 18B99型 18A40型 PDF格式BibTeX公司 XML格式引用 \textit{S.K.Thomason},J.Philos。日志。18,编号1,43--67(1989;Zbl 0674.03001) 全文: 内政部
Rodney R.豪厄尔。;路易斯·罗西尔(Louis E.Rosier)。 无冲突Petri网的公平性和时序逻辑问题。 (英语) Zbl 0673.68040号 西奥。计算。科学。 64,第3号,305-329(1989). 审核人:M.Jantzen先生 MSC公司:68问题85 03B60号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.R.Howell}和\textit{L.E.Rosier},Theor。计算。科学。64,第3号,305-329(1989;Zbl 0673.68040) 全文: 内政部
何塞·卡莫;阿米尔卡尔·塞尔纳达斯 分支时间的必然性。 (英语) Zbl 0673.03013号 Botik的逻辑,Proc。计算机科学逻辑基础研讨会,Pereslavl Zalessky/苏联1989年,Lect。注释计算。科学。363, 41-62 (1989).MSC公司:03B45号 03B70号 PDF格式BibTeX公司 XML格式
马丁·阿巴迪 时间证明的力量。 (英语) Zbl 0669.03010号 西奥。计算。科学。 65,第1期,35-83(1989). 审核人:M.K.Valiev先生 MSC公司:03B45号 PDF格式BibTeX公司 XML格式引用 \文本{M.Abadi},Theor。计算。科学。65,编号1,35--83(1989;Zbl 0669.03010) 全文: 内政部
蔡彪东;蔡锡耀;陈家正 从时空逻辑规范合成通信过程骨架。 (英语) 兹伯利0666.03024 J.计算。科学。Technol公司。 4,第2期,133-146(1989).MSC公司:03B70号 68N25号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{B.Cai}等人,J.Compute。科学。Technol公司。4,编号2,133--146(1989;Zbl 0666.03024) 全文: 内政部
罗恩·科曼斯 使用时序逻辑指定消息传递和时间关键型系统。 (英语) Zbl 0666.03023号 埃因霍温:埃因霍芬科技大学,。第179页(1989年)。 审核人:圣戈特瓦尔德 MSC公司:03B70号 68N25号 03B45号 PDF格式BibTeX公司 XML格式
珍妮特·温格。;尼克松,马克·R。 用时序逻辑扩展Ina Jo。 (英语) Zbl 0665.68006号 IEEE传输。柔和。工程师。 第2期第15页,181-197(1989).MSC公司:60年第68季度 03B70号 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{J.M.Wing}和\textit{M.R.Nixon},IEEE Trans。柔和。工程15,No.02,181--197(1989;Zbl 0665.68006) 全文: 内政部 链接
贝纳姆·巴尼克巴尔(编辑);霍华德·巴林格(编辑);阿米尔·普努利(编辑) 规范中的时序逻辑。1987年4月8日至10日,英国奥尔特林查姆。诉讼程序。 (英语) Zbl 0718.68002号 计算机科学课堂讲稿,第398页。柏林等:Springer-Verlag。六、 第448页,DM 63.00(1989)。 审核人:J.Šefránek(布拉迪斯拉发) MSC公司:68-06 2010年第68季度 60年第68季度 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{B.Banieqbal}(编辑)等人,规范中的时态逻辑。1987年4月8日至10日,英国奥尔特林查姆。诉讼程序。柏林等:Springer-Verlag(1989;Zbl 0718.68002)
赫莱内·贝斯托夫;杰拉德·利戈扎特 语言学家们用逻辑证明了语言智能人工语言的发展。(人工智能和语言时间处理手册。) (法语) Zbl 0696.68009号 巴黎等:马森。第272页(1989年)。 审核人:N.Curteanu公司 MSC公司:68-02 68T99型 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{H.Bestougeff}和\textit{G.Ligozat},人工智能和语言时间处理手册。巴黎等:Masson(1989;Zbl 0696.68009)
哈伊纳尔·安德雷卡;伊斯坦·内梅蒂;伊尔迪科·塞恩 时间证明的力量。 (英语) Zbl 0754.03017号 计算机科学数学基础。第十四交响曲。,89年MFCS,Porąbka-Kozubnik/Pol。1989年,Lect。注释计算。科学。379, 135-144 (1989). 审核人:O.Sonobe(福洛妮卡) MSC公司:03B70号 03B45号 60年第68季度 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{H.Andréka}等人,Lect。注释计算。科学。无,135--144(1989;Zbl 0754.03017)
丹拉托托,M。;A.马西尼。 一种时序逻辑方法,用于指定和证明有限状态并发系统的属性。 (英语) 兹比尔0746.68030 CSL’88,程序。第二次研讨会,杜伊斯堡/FRG 1988,Lect。注释计算。科学。385, 63-79 (1989). 审核人:M.Val'ev先生 MSC公司:2010年第68季度 03B70号 03B45号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Danaloto}和\textit{A.Masini},莱克特。注释计算。科学。无,63-79(1989年;Zbl 0746.68030)