希德托莫·马吉;池田康夫;富田,Kohji;细野千春;Igarashi、Shigeru 时态微积分及其不带(infty)的求精。 (英语) Zbl 1128.03020号 坦索尔,新爵士。 67,第1期,79-93(2006).MSC公司:03B70号 第68季度第60季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{H.Machi}等人,Tensor,New Ser。67,第1号,79--93(2006;Zbl 1128.03020)
Igarashi、Shigeru;铁杉雪洛根;Shio、Masayuki;Tetsuya Mizutani 时态算术。有理算法中程序属性的形式化。 (英语) 兹比尔1011.68052 坦索尔,新爵士。 59, 133-153 (1998).MSC公司:第68季度第60季度 03B44号 03B70号 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{S.Igarashi}等人,Tensor,New Ser。59、133--153(1998年;Zbl 1011.68052)
Kohji富田;Igarashi、Shigeru;Chiharu Hosono公司;Tetsuya Mizutani;冢川、佐渡木 自治实时系统的表示。 (英语) Zbl 1021.93003号 坦索尔,新爵士。 59, 114-124 (1998). 审核人:库尔特·马蒂(纽比堡/慕尼黑) MSC公司:93A30型 93C83号 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Tomita}等人,Tensor,New Ser。59114-124(1998年;Zbl 1021.93003)