Robert M.Hierons。 分布式系统的规范有限状态机。 (英语) Zbl 1186.68042号 西奥。计算。科学。 411,第2期,566-580(2010)。MSC公司:64岁以下 65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{R.M.Hierons},Theor。计算。科学。411,No.2,566--580(2010;Zbl 1186.68042) 全文: 内政部 链接
亚历山德罗·罗曼内尔;科拉多·普里亚米 关于BlenX的计算能力。 (英语) Zbl 1186.68200号 西奥。计算。科学。 411,第2期,542-565(2010)。MSC公司:2005年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Romanel}和\textit{C.Priami},Theor。计算。科学。411,第2号,542--565(2010;Zbl 1186.68200) 全文: 内政部 链接
Alpunte,M。;埃斯科瓦尔,S。;格拉姆利希,B。;卢卡斯,S。 重新审视按需策略注释:改进的按需评估策略。 (英语) Zbl 1186.68092号 西奥。计算。科学。 411,第2期,504-541(2010)。MSC公司:68甲15 2012年第68季度 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{M.Alpunte}等人,Theor。计算。科学。411,第2号,504--541(2010;Zbl 1186.68092) 全文: 内政部
帕特里克·贝洛特;达米亚诺·马扎 分层线性逻辑和有限时间复杂性。 (英语) Zbl 1187.68246号 西奥。计算。科学。 411,第2期,470-503(2010)。MSC公司:2017年第68季度 PDF格式BibTeX公司 XML格式引用 \提奥,textit{P.Baillot}和\textit{D.Mazza}。计算。科学。411,第2号,470--503(2010;Zbl 1187.68246) 全文: 内政部
劳拉·博泽利;拉诺特、拉格罗 线性时间混合逻辑的复杂性和简洁性问题。 (英语) Zbl 1187.68292号 西奥。计算。科学。 411,第2期,454-469(2010)。MSC公司:65年第68季度 第68页第27页 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzelli}和\textit{R.Lanotte},Theor。计算。科学。411,第2号,454--469(2010;Zbl 1187.68292) 全文: 内政部
曼纽尔·博迪尔斯基;陈,胡比 喷丸电弧一致性。 (英语) Zbl 1186.68458号 西奥。计算。科学。 411,第2期,445-453(2010)。MSC公司:68层37 PDF格式BibTeX公司 XML格式引用 \textit{M.Bodirsky}和\textit{H.Chen},Theor。计算。科学。411,第2号,445--453(2010;Zbl 1186.68458) 全文: 内政部
米歇尔·帕加尼;德法尔科、洛伦佐·托托拉 二阶线性逻辑的强正规化性质。 (英语) Zbl 1186.68240号 西奥。计算。科学。 411,编号2,410-444(2010)。MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Pagani}和\textit{L.T.de Falco},Theor。计算。科学。411,第2号,410-444(2010;Zbl 1186.68240) 全文: 内政部
乌戈·达尔拉戈;安德烈亚·马西尼;玛格丽塔·佐齐 量子隐式计算复杂性。 (英语) Zbl 1186.68209号 西奥。计算。科学。 411,第2期,377-409(2010)。MSC公司:2017年第68季度 68甲18 2010年第68季度 81第68页 PDF格式BibTeX公司 XML格式引用 \textit{U.Dal Lago}等人,Theor。计算。科学。411,第2号,377--409(2010;Zbl 1186.68209) 全文: 内政部
林,兰;斯泰西·普罗威尔。;杰西·H·普尔。 基于序列的规范的公理系统。 (英语) Zbl 1187.68316号 西奥。计算。科学。 411,第2期,360-376(2010)。MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Lin}等人,Theor。计算。科学。411,第2号,360-376(2010;Zbl 1187.68316) 全文: 内政部
布鲁姆,S.L。;埃西克,Z。 范畴代数的Mezei-Wright定理。 (英语) Zbl 1186.68244号 西奥。计算。科学。 411,编号2341-359(2010)。MSC公司:65年第68季度 18立方厘米 08A05号 PDF格式BibTeX公司 XML格式引用 \textit{S.L.Bloom}和\textit{Z.Ésik},Theor。计算。科学。411,第2号,341--359(2010;Zbl 1186.68244) 全文: 内政部
藤田,Ken-Etsu CPS翻译为伴随词。 (英语) Zbl 1186.68101号 西奥。计算。科学。 411,第2期,324-340(2010)。MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \文本{K.-E.Fujita},Theor。计算。科学。411,编号2,324--340(2010;Zbl 1186.68101) 全文: 内政部
肯·卡内瓦;肯·佐藤 关于受限UML类图一致性检查的复杂性。 (英语) Zbl 1186.68052号 西奥。计算。科学。 411,第2号,301-323(2010)。MSC公司:68米15 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{K.Kaneiwa}和\textit{K.Satoh},Theor。计算。科学。411,第2号,301-323(2010;Zbl 1186.68052) 全文: 内政部