Kuniaki Tamura 混合微积分的一个小模型定理。 (英文) Zbl 1336.03026号 J.日志。计算。 25,第2期,405-441(2015).MSC公司:03B45号 03B70号 05年3月 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Tamura},J.Log。计算。25,编号2405-441(2015;兹bl 1336.03026) 全文: 内政部
卢卡·博托卢西;阿尔贝托,Policriti (混合)自动机和(随机)程序。随机程序的混合自动机格。 (英文) Zbl 1272.68289号 J.日志。计算。 23,第4期,761-798(2013).MSC公司:68问题85 第68页第19页 68号30 65年第68季度 87年第68季度 92立方厘米 93A30型 PDF格式BibTeX公司 XML格式引用 \textit{L.Bortolussi}和\textit{A.Policriti},J.Log。计算。23,第4号,761--798(2013;Zbl 1272.68289) 全文: 内政部 链接