路德威克·查贾 网络结构和集合的计算方法类似。 (英语) Zbl 1144.68042号 西奥。通知。应用。 42,第2期,271-284(2008).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \文本{L.Czaja},Theor。通知。申请。42,第2号,271--284(2008;Zbl 1144.68042) 全文: 内政部 Numdam编号 欧洲DML
杰拉尔德·吕特根;沃尔特·福格勒 速度上的相互模拟:较低的时间界限。 (英语) Zbl 1077.68064号 西奥。通知。应用。 39,第3期,587-618(2005). 审核人:达马斯·格鲁斯卡(布拉迪斯拉发) MSC公司:68问题85 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Lüttgen}和\textit{W.Vogler},Theor。通知。申请。39,第3号,587--618(2005;Zbl 1077.68064) 全文: 内政部 Numdam编号 欧洲DML 链接
埃里克·波尔 子类型的联合语义。 (英语) Zbl 0990.18004号 西奥。通知。应用。 35,第1号,61-81(2001). 审核人:P.Bankstone(密尔沃基) MSC公司:18 C50 68问题55 68问题85 68甲19 70年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{E.Poll},Theor。通知。申请。35,第1号,61--81(2001;Zbl 0990.18004) 全文: 内政部 Numdam编号 Numdam编号 欧洲DML
弗拉维奥·科拉迪尼;洛科·德尼古拉;安娜·拉布拉 非确定性正则表达式的有限公理化。 (英语) Zbl 0945.68122号 西奥。通知。应用。 33,No.4-5,447-465(1999).MSC公司:68问题55 08B05号 PDF格式BibTeX公司 XML格式引用 \textit{F.Corradini}等人,Theor。通知。申请。33,编号4--5,447--465(1999;Zbl 0945.68122) 全文: 内政部 欧洲DML 链接