斯米尔诺夫,V.A。(编辑);A.S.卡彭科。(编辑) [E.K.沃什维略。;西多连科,E.A。;拜斯特罗夫,P.I。;波波夫,B.M。;V.V.纳夫罗茨基。;A.S.卡彭科。;斯米尔诺夫,V.A。;Syrkin,G.A。;瓦西约科夫,V.L。;杰拉西莫娃,I.A。;Nepejvoda,N.N。;瑟雷布扬尼科夫(O.F.Serebryannikov)。;A.M.阿尼肖夫。;L.I.麦克赫德利什维利。] 许多有价值的、相关的和准一致的逻辑。(Mnogoznachnye,relevantnye i paraneprotivorechivye logiki)。 (俄语) Zbl 0599.03009号 Trudy Nauchno-Issledovatel举办的Logike Instituta Filosofii AN SSSR科戈研讨会。莫斯科:Filosofii AN SSSR研究所。第133页(1984年)。 审核人:第五版。索蒂罗夫 MSC公司:03B45号 03B50号 03B60号 03-06 03-02 03B10号机组 PDF格式BibTeX公司 XML格式
阿基拉·福佐卡;西基、广岛;高桥贵子 时序逻辑中VLSI电路的描述和推理。 (英文) Zbl 0592.68033号 新一代计算。 2, 79-90 (1984).MSC公司:第68季度第65季度 94C15号机组 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.Fusaoka}等人,《新一代计算》。279--90(1984年;Zbl 0592.68033) 全文: 内政部
西斯特拉,A.P。;E.M.克拉克。;北弗朗西兹。;A.R.梅耶。 消息缓冲区可以在线性时态逻辑中公理化吗? (英文) Zbl 0591.68022号 Inf.控制 63, 88-112 (1984).MSC公司:第68页第25页 PDF格式BibTeX公司 XML格式引用 \textit{A.P.Sistla}等人,《Inf.Control》63,88--112(1984;Zbl 0591.68022) 全文: 内政部
David A.Plaisted。 一种用于获取时序逻辑类的决策过程的低级语言。 (英文) Zbl 0576.68007号 《程序逻辑》,研讨会,匹兹堡/宾夕法尼亚州,1983年,莱克特。注释计算。科学。164, 403-420, 528 (1984). 审核人:N.Curteanu公司 MSC公司:第68季度第65季度 03B45号 60年第68季度 03C80号 03B25号 PDF格式BibTeX公司 XML格式
哈巴桑斯基,Z。 过程逻辑:两个可判定结果。 (英文) Zbl 0569.68024号 计算机科学数学基础。第十一交响曲。,普拉哈/捷克。1984年,Lect。注释计算。科学。176, 282-290 (1984). 审核人:N.Curteanu公司 MSC公司:第68季度第65季度 60年第68季度 03B25号 05年3月 PDF格式BibTeX公司 XML格式
詹姆斯·艾伦。 走向行动和时间的一般理论。 (英文) Zbl 0567.68025号 Artif公司。智力。 23, 123-154 (1984). 审核人:H.P.施密特 MSC公司:第68季度第65季度 03B45号 68T20型 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{J.F.Allen},阿蒂夫。智力。23123--154(1984年;Zbl 0567.68025) 全文: 内政部
托西奥·北川 局部时空广义关系生态圈的数学公式。 (英文) Zbl 0563.92021号 牛市。信息网络。 21,1-2,1-18号(1984). 审核人:J.佩尔 MSC公司:91E99型 92F05型 91E30型 92D40型 93C99号 18B99型 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{T.Kitagawa},公牛。信息网络。21,编号1--2,1-18(1984;Zbl 0563.92021)
帕特里斯·白哈切 Quelques foncteurs faussement primitifs en logique déontique(三价和行动)。 (法语) Zbl 0563.03009号 逻辑分析。,努夫。Sér。 27, 393-405 (1984).MSC公司:03B45号 PDF格式BibTeX公司 XML格式引用 \textit{P.Bailhache},日志。分析。,努夫。Sér。27393--405(1984年;Zbl 0563.03009)
恩贾尔伯特,P。;米歇尔·米歇尔。 多进程系统的多种时序逻辑。 (英文) Zbl 0558.68026号 计算机科学数学基础。第十一交响曲。,普拉哈/捷克。1984年,Lect。注释计算。科学。176, 273-281 (1984). 审核人:杰拉图什卡 MSC公司:第68季度第65季度 60年第68季度 03B45号 PDF格式BibTeX公司 XML格式
理查德·施瓦茨。;梅利亚·史密斯,P.M。;弗里德里希·沃格特。 基于间隔的时序逻辑。 (英文) Zbl 0558.03011号 《程序逻辑》,研讨会,匹兹堡/宾夕法尼亚州,1983年,莱克特。注释计算。科学。164, 443-457 (1984). 审核人:J.Hořejš MSC公司:03B45号 第68季度第65季度 60年第68季度 PDF格式BibTeX公司 XML格式
Sabnani,K。;M.施瓦茨。 多目的选择性重复程序的验证。 (英文) Zbl 0557.68032号 计算。网络 8,463-478(1984年).MSC公司:68平方米 94A05型 第68季度第65季度 第68页第25页 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{K.Sabnani}和\textit{M.Schwartz},计算。网络8,463--478(1984;Zbl 0557.68032) 全文: 内政部
轩尼诗,M。;斯特林,C。 未来的力量完善了程序逻辑。 (英文) 兹伯利0557.68029 计算机科学数学基础。第十一交响曲。,普拉哈/捷克。1984年,Lect。注释计算。科学。176, 301-311 (1984). 审核人:J.-J.Ch.梅耶 MSC公司:第68季度第65季度 03B45号 第68页第25页 60年第68季度 PDF格式BibTeX公司 XML格式
罗恩,多里特;佛罗里达州罗森伯格;阿米尔·普努利 CSP原语的硬件实现及其验证。 (英文) Zbl 0553.68010号 自动化、语言和编程,安特卫普/贝尔格第11大学。1984年,Lect。注释计算。科学。172, 423-435 (1984).MSC公司:68第05页 60年第68季度 PDF格式BibTeX公司 XML格式
苏珊娜·格拉芙 论Lamport对线性时序逻辑和分支时序逻辑的比较。 (英文) Zbl 0551.68033号 RAIRO,Inf.Théor公司。 18, 345-353 (1984). 审核人:J.兹拉图斯卡 MSC公司:第68季度第65季度 60年第68季度 03B45号 第68页第25页 PDF格式BibTeX公司 XML格式引用 \textit{S.Graf},RAIRO,Inf.Théor。18、345--353(1984年;Zbl 0551.68033) 全文: 欧洲DML
Kröger,F。 时序逻辑中的广义下一时间运算符。 (英文) Zbl 0551.68032号 J.计算。系统。科学。 29, 80-98 (1984).MSC公司:第68季度第65季度 60年第68季度 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{F.Kröger},J.计算。系统。科学。29、80-98(1984年;Zbl 0551.68032) 全文: 内政部
R.谢尔曼。;A.普努利。;D.哈雷。 流程逻辑中有趣的部分是否无趣从PL到PDL的翻译。 (英文) Zbl 0551.68031号 SIAM J.计算。 13, 825-839 (1984). 审核人:H.西村 MSC公司:第68季度第65季度 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{R.Sherman}等人,SIAM J.Compute。13、825--839(1984年;Zbl 0551.68031) 全文: 内政部
莫舍·瓦尔迪。;皮埃尔·沃尔珀 还有另一个过程逻辑。 (英文) Zbl 0549.68020号 《程序逻辑》,研讨会,匹兹堡/宾夕法尼亚州,1983年,莱克特。注释计算。科学。第164501-512页(1984年)。MSC公司:第68季度第65季度 60年第68季度 03B45号 65年第68季度 PDF格式BibTeX公司 XML格式
安娜·R·卡瓦利。;路易斯·法利尼亚斯·德尔·塞罗 使用时序逻辑对网络协议进行规范和验证。 (英文) Zbl 0549.68013号 编程,程序。国际交响乐团。,第六科洛克,图卢兹,1984年,马萨诸塞州。注释计算。科学。167, 59-73 (1984).MSC公司:第68页第25页 68第05页 PDF格式BibTeX公司 XML格式
安娜·R·卡瓦利。;路易斯·法利尼亚斯·德尔·塞罗 线性时序逻辑的一种判定方法。 (英文) Zbl 0547.03008号 自动扣除,程序。第七届国际会议,Napa/Calif.1984,Lect。注释计算。科学。170113-127(1984)中描述。 审核人:J.托德 MSC公司:03B25号 03B45号 第68季度第65季度 03B35型 PDF格式BibTeX公司 XML格式
本·莫斯科夫斯基;佐哈尔·曼纳 区间时序逻辑中的推理。 (英文) Zbl 0542.68022号 《程序逻辑》,研讨会,匹兹堡/宾夕法尼亚州,1983年,莱克特。注释计算。科学。164, 371-382 (1984).MSC公司:第68季度第65季度 03C80号 60年第68季度 PDF格式BibTeX公司 XML格式
迈克尔·米歇尔 Algèbre de machines et logique tempolelle公司。 (法语) Zbl 0542.68021号 计算机科学的理论方面。,1984年,巴黎。注释计算。科学。166, 287-298 (1984).MSC公司:第68季度第65季度 05年3月 第68页第25页 65年第68季度 03C80号 PDF格式BibTeX公司 XML格式
E.克拉克。;米什拉,B。 异步电路的自动验证。 (英文) Zbl 0541.94038号 《程序逻辑》,研讨会,匹兹堡/宾夕法尼亚州,1983年,莱克特。注释计算。科学。164, 101-115 (1984).MSC公司:94立方厘米 第68季度第65季度 第68页第25页 94C15号机组 PDF格式BibTeX公司 XML格式
约翰·麦克莱恩 规范模式的完整时序逻辑系统。 (英文) Zbl 0539.68018号 《程序逻辑》,研讨会,匹兹堡/宾夕法尼亚州,1983年,莱克特。注释计算。科学。164, 360-370 (1984).MSC公司:第68季度第65季度 60年第68季度 03B60号 PDF格式BibTeX公司 XML格式
理查德·艾伦·卡普 使用时序逻辑证明并发系统的无故障特性。 (英文) Zbl 0536.68015号 ACM事务处理。程序。语言系统。 6, 239-253 (1984).MSC公司:第68页第25页 PDF格式BibTeX公司 XML格式引用 \textit{R.A.Karp},ACM翻译。程序。语言系统。6、239--253(1984年;Zbl 0536.68015) 全文: 内政部
约翰·范·本特姆 时态逻辑和时间。 (英文) Zbl 0536.03008号 圣母院J.形式逻辑 25, 1-16 (1984).MSC公司:03B45号 PDF格式BibTeX公司 XML格式引用 \textit{J.van Benthem},圣母院J.形式逻辑25,1--16(1984;Zbl 0536.03008) 全文: 内政部
M.E.萨博。 可变真理。 (英文) 兹伯利0534.03011 Z.数学。Logik Grundlagen数学。 30, 401-414 (1984).MSC公司:03B60号 03B45号 第68季度第65季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit{M.E.Szabo},Z.数学。Logik Grundlagen数学。30401-414(1984;Zbl 0534.03011) 全文: 内政部
唐同高;张爱珠 一阶时序逻辑系统及其在程序中的应用。 (英文) Zbl 0533.68035号 复旦J.,《自然科学》。 23, 35-44 (1984).MSC公司:第68季度第65季度 03B60号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Tang}和\textit{A.Zhang},复旦J.,Nat.Sci。23、35-44(1984年;Zbl 0533.68035)
佐哈尔·曼纳;皮埃尔·沃尔珀 从时序逻辑规范合成通信过程。 (英文) Zbl 0522.68030号 ACM事务处理。程序。语言系统。 6, 68-93 (1984).MSC公司:68问题85 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Z.Manna}和\textit{P.Wolper},ACM翻译。程序。语言系统。6、68——93(1984年;Zbl 0522.68030) 全文: 内政部