利波·巴托;马钦·科齐克 同余分布意味着有界宽度。 (英语) Zbl 1205.68529号 SIAM J.计算。 39,第4期,1531-1542(2009).MSC公司:68瓦40 08A70号 08年10月 68兰特 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{L.Barto}和\textit{M.Kozik},SIAM J.Compute。39,第4号,1531--1542(2009;Zbl 1205.68529) 全文: 内政部
Ernst-Erich Doberkat 随机关系:同余、互模拟和Hennessy-Milner定理。 (英语) Zbl 1095.68063号 SIAM J.计算。 35,第3期,590-626(2006).MSC公司:68问题85 08A30型 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{E.-E.Doberkat},SIAM J.Comput。35,第3号,590--626(2006;Zbl 1095.68063) 全文: 内政部
卢卡·埃特罗 关于“公理化有限并发进程”。 (英语) 兹比尔0809.68081 SIAM J.计算。 23,第4期,852-863(1994).MSC公司:68问题55 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto},SIAM J.计算机。23,第4号,852--863(1994;Zbl 0809.68081) 全文: 内政部
Ernst Erich多伯卡特 多态类型理想模型中的拓扑完整性。 (英语) Zbl 0678.68079号 SIAM J.计算。 18,第5号,977-989(1989). 审核人:V.库贝克 MSC公司:68问题55 60年第68季度 06B10号 54H25个 54E15型 54E40型 PDF格式BibTeX公司 XML格式引用 \textit{E.-E.Doberkat},SIAM J.计算机。18,第5号,977--989(1989;Zbl 0678.68079) 全文: 内政部
纳鸿·德肖维茨;利奥·马库斯;安德烈·塔莱基 重写系统的存在性、唯一性和构造。 (英语) Zbl 0658.68029号 SIAM J.计算。 17,第4期,629-639(1988). 审核人:F.-L.提普利亚 MSC公司:68问题65 68吨15 08B05号 03C05号机组 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{N.Dershowitz}等人,SIAM J.Compute。17,第4号,629--639(1988;Zbl 0658.68029) 全文: 内政部
Jean-Pierre Jouannaud;赫莱内·基什内尔 完成一组规则对一组方程进行模运算。 (英语) Zbl 0665.03005号 SIAM J.计算。 15, 1155-1194 (1986). 审核人:A.佩特罗西 MSC公司:03B25号 08B05号 68问题65 03C05号机组 PDF格式BibTeX公司 XML格式引用 \textit{J.-P.Jouannaud}和\textit{H.Kirchner},SIAM J.Compute。15、1155--1194(1986年;Zbl 0665.03005) 全文: 内政部