谢尔盖·索洛维耶夫;弗拉基米尔·奥尔耶夫科夫 IMLL中Gentzen-style派生词的范畴等价性。 (英语) 兹比尔1019.03041 西奥。计算。科学。 303,第1期,245-260(2003).MSC公司:03楼52 03G30型 18日第15天 PDF格式BibTeX公司 XML格式引用 \textit{S.Soloviev}和\textit{V.Orevkov},Theor。计算。科学。303,第1号,245--260(2003;Zbl 1019.03041) 全文: 内政部
亚历山大·拉兹博罗夫。 弱泛函鸽子洞原理的分辨率下限。 (英语) Zbl 1050.03039号 西奥。计算。科学。 303,第1期,233-243(2003). 审核人:Nail Zamov(喀山) MSC公司:20层03 03B35型 68吨15 PDF格式BibTeX公司 XML格式引用 \文本{A.A.Razborov},Theor。计算。科学。303,编号1,233--243(2003;Zbl 1050.03039) 全文: 内政部
达米安·尼文斯基;伊戈尔·瓦卢基维奇 确定性树语言的间隙特性。 (英语) Zbl 1044.68120号 西奥。计算。科学。 303,第1期,215-231(2003).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{D.Niwinn ski}和\textit{I.Walukiewicz},Theor。计算。科学。303,第1号,215--231(2003;Zbl 1044.68120) 全文: 内政部
薄荷,G。 利用偏导数证明ε替换的终止性。 (英语) Zbl 1032.03046号 西奥。计算。科学。 303,第1期,187-213(2003). 审核人:M.Yasuhara(普林斯顿) MSC公司:03财年03 05年3月 30楼03号 PDF格式BibTeX公司 XML格式引用 \文本{G.Mints},Theor。计算。科学。303,第1号,187--213(2003;Zbl 1032.03046) 全文: 内政部
马克西莫娃。 阳性及相关结石中某些问题的复杂性。 (英语) Zbl 1020.03005号 西奥。计算。科学。 303,第1期,171-185(2003).MSC公司:03B20型 2015年3月1日 03C40号 03年2月25日 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.马克西莫娃},Theor。计算。科学。303,第1号,171--185(2003;Zbl 1020.03005) 全文: 内政部
Makowsky,J.A。;马里诺,J.P。 树宽度和一元量词层次结构。 (英语) Zbl 1044.68130号 西奥。计算。科学。 303,第1期,157-170(2003).MSC公司:68兰特 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Makowsky}和\textit{J.P.Marioño},Theor。计算。科学。303,第1号,157--170(2003;Zbl 1044.68130) 全文: 内政部
科尔帕科夫,罗马;格雷戈里·库切洛夫 找出汉明距离下的近似重复次数。 (英语) Zbl 1051.68119号 西奥。计算。科学。 303,第1期,135-156(2003).MSC公司:68兰特 PDF格式BibTeX公司 XML格式引用 \textit{R.Kolpakov}和\textit{G.Kucherov},Theor。计算。科学。303,第1号,135--156(2003;Zbl 1051.68119) 全文: 内政部
伊雷纳游击队;尤格尼·福斯托科斯;西奥多·安德洛尼科斯;阿夫拉蒂、福托 关于时间逻辑与数据日志。 (英语) Zbl 1019.03021号 西奥。计算。科学。 303,第1期,103-133(2003).MSC公司:03B70号 60年第68季度 03B44号 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{I.Guessarian}等人,Theor。计算。科学。303,编号1,103--133(2003;Zbl 1019.03021) 全文: 内政部
迪马·格里戈里耶夫;爱德华·赫希。 公式上的代数证明系统。 (英语) Zbl 1044.68146号 西奥。计算。科学。 303,第1期,83-102(2003).MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{D.Grigoriev}和\textit{E.A.Hirsch},Theor。计算。科学。303,编号1,83--102(2003;Zbl 1044.68146) 全文: 内政部
迈克尔·德克蒂亚;亚历山大·迪科夫斯基;马尔斯·瓦利耶夫 关于检查多智能体系统行为的可行案例。 (英语) Zbl 1044.68144号 西奥。计算。科学。 303,第1期,63-81(2003).MSC公司:68T05型 PDF格式BibTeX公司 XML格式引用 \textit{M.Dekhtyar}等人,Theor。计算。科学。303,编号1,63--81(2003;Zbl 1044.68144) 全文: 内政部
帕特里克·塞吉尔斯基;弗朗索瓦·赫罗特;丹尼斯·理查德 自然数区间的幅度,其每个元素都有一个至少有一个极点的公共素因子。 (英语) Zbl 1050.11022号 西奥。计算。科学。 303,第1期,53-62(2003). 审核人:Štefan Porubský(普拉哈) MSC公司:11B83号 30楼03号 11A05号 11U99型 PDF格式BibTeX公司 XML格式引用 \textit{P.Cégielski}等人,Theor。计算。科学。303,第1号,53--62(2003;Zbl 1050.11022) 全文: 内政部
卡蓬,A。;格罗莫夫,M。 DNA串和蛋白质的功能标签和句法熵。 (英语) Zbl 1044.68155号 西奥。计算。科学。 303,第1期,35-51(2003).MSC公司:68岁20岁 PDF格式BibTeX公司 XML格式引用 \textit{A.Carbone}和\textit{M.Gromov},Theor。计算。科学。303,编号1,35--51(2003;Zbl 1044.68155) 全文: 内政部
A.阿诺德。;文森特,A。;Walukiewicz,I。 具有部分观测的控制器合成游戏。 (英语) Zbl 1175.93148号 西奥。计算。科学。 303,第1期,7-34(2003).MSC公司:93元65角 91A43型 05年3月 65年第68季度 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Arnold}等人,Theor。计算。科学。303,编号1,7--34(2003;Zbl 1175.93148) 全文: 内政部
丹尼尔·博基尔;迪米特里·格里戈里耶夫;尤里·马蒂亚塞维奇 A.O.Slissenko传记。 (英语) Zbl 1017.01506号 西奥。计算。科学。 303,第1期,第3-5页(2003年).MSC公司:01A70号 PDF格式BibTeX公司 XML格式引用 \textit{D.Beauquier}等人,Theor。计算。科学。303,第1、3--5号(2003;Zbl 1017.01506) 全文: 内政部