于慧群;宋国欣;孙永强 累加演算的完备性。 (英语) Zbl 0891.03005号 J.计算。科学。Technol公司。 13,第1期,25-31(1998年).MSC公司:03B45号 03B80号 PDF格式BibTeX公司 XML格式引用 \textit{H.Yu}等人,J.Compute。科学。Technol公司。13,编号1,25-31(1998;Zbl 0891.03005) 全文: 内政部
赵昭景;戴、军;陈文丹 时序逻辑中的自动定理证明:(T)-分辨率。 (英语) Zbl 0804.68131号 J.计算。科学。Technol公司。 9,第1号,53-62(1994).MSC公司:第68页第15页 03B35型 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{Z.Zhao}等人,J.Compute。科学。Technol公司。9,第1号,53-62(1994年;兹bl 0804.68131) 全文: 内政部
谢洪亮;龚洁;唐,C.S。 一种结构化时序逻辑语言:XYZ/SE。 (英语) 兹比尔0725.68071 J.计算。科学。Technol公司。 6,第1期,1-10(1991).MSC公司:60年第68季度 68吨99 68N17号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{H.Xie}等人,J.Compute。科学。Technol公司。6,编号1,1-10(1991;Zbl 0725.68071) 全文: 内政部
刘彤;唐,C.S。 数据流图的语义规范和验证。 (英语) Zbl 0725.68070号 J.计算。科学。Technol公司。 6,第1期,21-31(1991).MSC公司:60年第68季度 2010年第68季度 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{T.Liu}和\textit{C.S.Tang},J.Compute。科学。Technol公司。6,编号1,21--31(1991;Zbl 0725.68070) 全文: 内政部
林惠民;龚、春;谢洪亮 时态逻辑语言中代数规范的抽象实现。 (英语) Zbl 0725.68069号 J.计算。科学。Technol公司。 6,第1期,11-20(1991).MSC公司:60年第68季度 第68季度第65季度 68吨99 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{H.Lin}等人,J.Compute。科学。Technol公司。6,编号1,11--20(1991;Zbl 0725.68069) 全文: 内政部
周朝晨;刘新新 用时态公式表示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) 全文: 内政部
赵旭东;冯玉林 并发系统的自动分层验证。 (英语) 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) 全文: 内政部
蔡彪东;蔡锡耀;陈家正 从时空逻辑规范合成通信过程骨架。 (英语) 兹伯利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) 全文: 内政部