Vu,Thuy Duong先生 无干扰的线程代数。 (英语) Zbl 1166.68007号 西奥。通知。申请。 43,第2期,249-268(2009).MSC公司:68甲15 第68页第19页 68号30 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \文本{T.D.Vu},Theor。通知。申请。43,第2号,249--268(2009;Zbl 1166.68007) 全文: 内政部 欧洲DML 链接
塞塞、杰拉德;海姆,皮尔雷·科里尔;亚恩·梅尼尔 半交换验证技术中自动机的效率。 (英语) Zbl 1144.68039号 西奥。通知。申请。 42,第2期,197-215(2008).MSC公司:60年第68季度 68号30 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.CéCé}等人,Theor。通知。申请。42,第2号,197--215(2008;Zbl 1144.68039) 全文: 内政部 欧洲DML 哈尔
佐尔坦·埃西克;Larsen,Kim G。 由Lindström量词定义的常规语言。 (英语) Zbl 1046.20042号 西奥。通知。申请。 37,第3期,179-241(2003). 审核人:弗朗西娜·布兰切特·萨德里(格林斯博罗) MSC公司:20立方米 65年第68季度 60年第68季度 70年第68季度 03C07号机组 PDF格式BibTeX公司 XML格式引用 \textit{Z.ésik}和\textit{K.G.Larsen},Theor。通知。申请。37,第3号,179--241(2003;Zbl 1046.20042) 全文: Numdam编号 欧洲DML
朱利安·贝内特;戴维·杰宁;伊戈尔·瓦卢基维奇 许可策略:从平价游戏到安全游戏。 (英语) Zbl 1090.91514号 西奥。通知。申请。 36,第3期,261-275(2002).MSC公司:91A50 60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Bernet}等人,Theor。通知。申请。36,第3号,261--275(2002;Zbl 1090.91514) 全文: 内政部 Numdam编号 欧洲DML 哈尔
J.M.达沃伦。 拓扑、连续性和互模拟。 (英语) Zbl 0940.03021号 西奥。通知。申请。 33,No.4-5,357-381(1999).MSC公司:03B44号 93C99号 54C60个 03B80号 68问题85 PDF格式BibTeX公司 XML格式引用 \文本{J.M.Davoren},Theor。通知。申请。33,编号4--5,357--381(1999;Zbl 0940.03021) 全文: 内政部 欧洲DML 链接