中田昭夫 推导满足实时时序逻辑公式的周期时间自动机的参数条件。 (英语) Zbl 0991.68522号 RIMS Kokyuroku公司 1205, 160-165 (2001).MSC公司:2005年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Nakata},RIMS Kokyuroku 1205,160--165(2001;Zbl 0991.68522)
Nakao,Mitsuhiro T。 常微分方程和偏微分方程解的数值验证方法。 (英语) Zbl 0969.65505号 RIMS Kokyuroku公司 1169, 27-56 (2000).MSC公司:65G20个 65H10型 PDF格式BibTeX公司 XML格式引用 \textit{M.T.Nakao},RIMS Kokyuroku 1169,27-56(2000;Zbl 0969.65505)
日本樱井;广岛杉浦 一种保证精度的解析函数因子的求法。 (日语) Zbl 0968.65513号 RIMS Kokyuroku公司 1147, 16-27 (2000).MSC公司:65G20个 PDF格式BibTeX公司 XML格式引用 \textit{T.Sakurai}和\textit{H.Sugiura},RIMS Kokyuroku 1147,16-27(2000;Zbl 0968.65513)
阿勒菲尔德,G.E。;X.陈。;F.A.波特拉。 非线性互补问题解的数值验证。 (英语) 兹伯利0968.90512 RIMS Kokyuroku公司 1147, 67-77 (2000).MSC公司:90立方厘米 65G20个 PDF格式BibTeX公司 XML格式引用 \textit{G.E.Alefeld}等人,RIMS Kokyuroku 1147,67--77(2000;Zbl 0968.90512)
Kaori Nagatou;Nakao,Mitsuhiro T。;和歌山,Masato 与非对易谐振子有关的耦合型特征值问题的有保证精度的解。 (日语) Zbl 0968.65519号 RIMS Kokyuroku公司 114788-97(2000年).MSC公司:65升15 65G20个 PDF格式BibTeX公司 XML格式引用 \textit{K.Nagatou}等人,RIMS Kokyuroku 1147,88--97(2000;Zbl 0968.65519)
Teruya Minamoto 半线性发展方程解的数值验证。 (日语) Zbl 0968.65523号 RIMS Kokyuroku公司 1147, 107-120 (2000).MSC公司:65个M12 65G20个 PDF格式BibTeX公司 XML格式引用 \textit{T.Minamoto},RIMS Kokyuroku 1147,107-120(2000;Zbl 0968.65523)
山本三郎;高桥,Koichi;Hagiya,Masami;西崎、信叶;铁雄县塔迈 图搜索算法的形式化验证及其在模型检查中的应用。 (日语) Zbl 0957.68502号 RIMS Kokyuroku公司 1125, 129-141 (2000).MSC公司:60年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Yamamoto}等人,RIMS Kokyuroku 1125,129--141(2000;Zbl 0957.68502)
Masahiko Tomoishi;直纪延崎 用于确定规格差异一致性的可组合表格方法。 (日语) Zbl 0957.68501号 RIMS Kokyuroku公司 1125, 142-149 (2000).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Tomoishi}和\textit{N.Yonezaki},RIMS Kokyuroku 1125,142--149(2000;Zbl 0957.68501)
靖子倪;坂部俊彦 行为等价的代数证明中的线性上下文归纳方法。 (日语) Zbl 0951.68531号 RIMS Kokyuroku公司 1093, 148-154 (1999).MSC公司:60年第68季度 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{Y.Ni}和\textit{T.Sakabe},RIMS Kokyuroku 1093,148--154(1999;Zbl 0951.68531)
佐藤、多美由纪;佐佐木,Tateaki 多元多项式浮点数系数合成计算中的抵消误差及其分析。 (日语) Zbl 0936.65513号 RIMS Kokyuroku公司 1085, 120-131 (1999).MSC公司:65小时05 65G20个 PDF格式BibTeX公司 XML格式引用 \textit{T.Sato}和\textit{T.Sasaki},RIMS Kokyuroku 1085,120--131(1999;Zbl 0936.65513)
广岛平山 可变精度、多长度算术例程的应用。 (日语) Zbl 0936.65511号 RIMS Kokyuroku公司 1085, 170-180 (1999).MSC公司:65G20个 65T50型 PDF格式BibTeX公司 XML格式引用 \textit{H.平山},RIMS Kokyuroku 1085,170--180(1999;Zbl 0936.65511)
佐藤,一郎 用于通信进程的速度敏感命令。 (英语) Zbl 0942.68568号 RIMS Kokyuroku公司 996, 23-38 (1997).MSC公司:2010年第68季度 第68季度55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.佐藤},RIMS Kokyuroku 996,23-38(1997;Zbl 0942.68568)
中田昭夫;东野东彦;谷口,Kenichi 验证定时过程符号互模拟等价性的时间-动作交替模型。 (英语) Zbl 0942.68569号 RIMS Kokyuroku公司 996, 98-110 (1997).MSC公司:2010年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Nakata}等人,RIMS Kokyuroku 996,98--110(1997;Zbl 0942.68569)
伊恩·菲利普斯;伊雷克·乌利多夫斯基 有序的SOS规则和弱互模拟。 (英语) Zbl 0942.68567号 RIMS Kokyuroku公司 996, 195-206 (1997).MSC公司:2010年第68季度 第68季度55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Phillips}和\textit{I.Ulidowski},RIMS Kokyuroku 996、195-206(1997年;Zbl 0942.68567)
佐藤雅满 实时系统的符号模型检查方法。 (英语) Zbl 0942.68625号 RIMS Kokyuroku公司 996, 222-242 (1997).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Yamane},RIMS Kokyuroku 996,222--242(1997;Zbl 0942.68625)
元朗,昭治;坂部俊彦;稻崎康夫 正则时间过程测试预序的符号替代特征。 (英语) Zbl 0947.68057号 RIMS Kokyuroku公司 996, 5-22 (1997).MSC公司:2010年第68季度 第68季度55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Yuen}等人,RIMS Kokyuroku 996,5--22(1997;Zbl 0947.68057)
河野,真嗣 二阶区间时序逻辑的执行和验证。 (英语) Zbl 0947.68092号 RIMS Kokyuroku公司 996, 162-180 (1997).MSC公司:60年第68季度 03B45 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{S.Kono},RIMS Kokyuroku 996,162--180(1997;Zbl 0947.68092)
东东、Atsushi 关于多元(π)演算的类型系统。 (英语) Zbl 0948.68124号 RIMS Kokyuroku公司 996, 125-142 (1997).MSC公司:68问题85 2010年第68季度 第68季度55 60年第68季度 68页第10页 PDF格式BibTeX公司 XML格式引用 \textit{A.Togashi},RIMS Kokyuroku 996,125--142(1997;Zbl 0948.68124)
吉野Isobe;中田秀美;佐藤,玉田;Kazuhito Ohmaki 保持强((Omega_1,Omega_2)等价的部分规范的逐步合成。 (英语) Zbl 0947.68091号 RIMS Kokyuroku公司 996, 39-53 (1997).MSC公司:60年第68季度 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Isobe}等人,RIMS Kokyuroku 996,39-53(1997;Zbl 0947.68091)
Usui、Nobuyuki;木村(Shigetomo Kimura);Atsushi Togashi;诺里奥·西拉托 工艺组成符合MSC。 (日语) Zbl 0941.68632号 RIMS Kokyuroku公司 906, 154-161 (1995).MSC公司:60年第68季度 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Usui}等人,RIMS Kokyuroku 906,154--161(1995;Zbl 0941.68632)
樱井,口一;川崎岩马 针对对手的演示程序。 (英语) Zbl 0941.68630号 RIMS Kokyuroku公司 906, 170-177 (1995).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Sakurai}和\textit{K.Iwama},RIMS Kokyuroku 906,170--177(1995;Zbl 0941.68630)
木村(Shigetomo Kimura);东东、Atsushi;诺里奥·西拉托 将递归过程综合算法推广到微积分。 (英语) Zbl 0941.68631号 RIMS Kokyuroku公司 906, 146-153 (1995).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Kimura}等人,RIMS Kokyuroku 906,146--153(1995;Zbl 0941.68631)
村上春树,Masaki 使用部分评估的反应性顺序过程的并行分解。 (日语) Zbl 0941.68629号 RIMS Kokyuroku公司 902, 49-63 (1995).MSC公司:60年第68季度 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Murakami},RIMS Kokyuroku 902,49-63(1995;Zbl 0941.68629)
森·吉田;Atsushi Togashi;诺里奥·西拉托 构建过程计算的并发支持环境。 (日语) Zbl 0941.68627号 RIMS Kokyuroku公司 902, 156-178 (1995).MSC公司:60年第68季度 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{S.Yoshida}等人,RIMS Kokyuroku 902,156--178(1995;Zbl 0941.68627)
本田、高黑;吉田、Nobuko 基于约简的过程语义。 (英语) Zbl 0941.68622号 RIMS Kokyuroku公司 902,10-25(1995年).MSC公司:第68季度55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.本田}和\textit{N.吉田},RIMS Kokyuroku 902,10-25(1995;Zbl 0941.68622)
马科托·库博 并发计算的成本图。 (英语) Zbl 0941.68576号 RIMS Kokyuroku公司 902,64-79(1995年).MSC公司:2010年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kubo},RIMS Kokyuroku 902,64--79(1995;Zbl 0941.68576)
Eiichi Horita;德弗里斯,Fer-Jan 用标签传递传递进程的完全抽象表示模型。 (英语) 兹伯利0941.68626 RIMS Kokyuroku公司 902, 26-48 (1995).MSC公司:60年第68季度 2010年第68季度 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{E.Horita}和\textit{F.-J.de Vries},RIMS Kokyuroku 902,26-48(1995;Zbl 0941.68626)
木村(Shigetomo Kimura);Atsushi Togashi;诺里奥·西拉托 根据逻辑属性对递归过程进行归纳综合。 (英语) Zbl 0941.68628号 RIMS Kokyuroku公司 902, 80-102 (1995).MSC公司:60年第68季度 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{S.Kimura}等人,RIMS Kokyuroku 902,80-102(1995;Zbl 0941.68628)
高山由纪德 高维自动机中并发进程的并行化。 (英语) Zbl 0939.68643号 RIMS Kokyuroku公司 918238-252(1995年).MSC公司:2010年第68季度 第68季度55 60年第68季度 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Takayama},RIMS Kokyuroku 918,238--252(1995;Zbl 0939.68643)
森喜朗;伊藤俊彦 关于检查器、自测器和自我窃听器。 (英语) Zbl 0939.68708号 RIMS Kokyuroku公司 871138-144(1994年).MSC公司:60年第68季度 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Mori}和\textit{T.Itoh},RIMS Kokyuroku 871,138--144(1994;Zbl 0939.68708)