范·贝克尔,斯特芬;玛丽贝尔·费尔南德斯 组合子系统的规范化、近似和语义。 (英语) Zbl 1019.68059号 西奥。计算。科学。 290,第1期,975-1019(2003).MSC公司:68问题55 PDF格式BibTeX公司 XML格式引用 \textit{S.van Bakel}和\textit{M.Fernández},Theor。计算。科学。290,第1号,975--1019(2003;Zbl 1019.68059) 全文: 内政部
毛诺,Rönkkö;安德斯·拉文。;塞雷,凯萨 混合行动系统。 (英语) Zbl 1019.68054号 西奥。计算。科学。 290,第1期,937-973(2003).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Rönkkö}等人,Theor。计算。科学。290,第1号,937--973(2003;Zbl 1019.68054) 全文: 内政部
罗伯塔·戈里 一个抽象的解释框架,用于推理有限失败和有限和无限计算的其他属性。 (英语) Zbl 1051.68103号 西奥。计算。科学。 290,第1期,863-936(2003).MSC公司:68问题55 PDF格式BibTeX公司 XML格式引用 \文本{R.Gori},Theor。计算。科学。290,第1号,863--936(2003;Zbl 1051.68103) 全文: 内政部
迈克尔·劳伦斯。;塞巴斯蒂安·达尼西奇;马克·哈曼;罗布·海伦斯;约翰·豪罗伊德 保守、自由、线性程序模式的等价性是可以判定的。 (英语) 兹伯利1019.68011 西奥。计算。科学。 290,第1期,831-862(2003).MSC公司:68号01 PDF格式BibTeX公司 XML格式引用 \textit{M.R.Laurence}等人,Theor。计算。科学。290,编号1,831--862(2003;Zbl 1019.68011) 全文: 内政部
迪迪埃·科卡尔 关于具有可判定一元理论的无限转移图。 (英语) Zbl 1019.68066号 西奥。计算。科学。 290,第1期,79-115(2003).MSC公司:68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{D.Caucal},Theor。计算。科学。290,编号1,79--115(2003;Zbl 1019.68066) 全文: 内政部
伏玉溪;杨振荣 理解chi演算中的错配组合子。 (英语) Zbl 1019.68067号 西奥。计算。科学。 290,第1期,779-830(2003).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{Y.Fu}和\textit{Z.Yang},Theor。计算。科学。290,第1号,779--830(2003;Zbl 1019.68067) 全文: 内政部
科西莫·拉涅夫 JVM线程的类型系统。 (英语) Zbl 1019.68013号 西奥。计算。科学。 290,第1期,741-778(2003).MSC公司:68甲15 PDF格式BibTeX公司 XML格式引用 \文本{C.Laneve},Theor。计算。科学。290,编号1741-778(2003年;兹bl 1019.68013) 全文: 内政部
罗伯特·阿马迪奥(Roberto M.Amadio)。;丹尼斯·卢吉兹;文森特·瓦纳凯尔 关于具有密码函数的过程的符号化约简。 (英语) Zbl 1051.68054号 西奥。计算。科学。 290,第1期,695-740(2003).MSC公司:第68页第25页 PDF格式BibTeX公司 XML格式引用 \textit{R.M.Amadio}等人,Theor。计算。科学。290,第1号,695--740(2003;Zbl 1051.68054) 全文: 内政部
考尔德,T。;J.帕雷登斯。 频繁项集的公理化。 (英语) 兹伯利1019.68034 西奥。计算。科学。 290,第1期,669-693(2003).MSC公司:第68页,共15页 PDF格式BibTeX公司 XML格式引用 \textit{T.Calders}和\textit{J.Paredaens},Theor。计算。科学。290,第1号,669--693(2003;Zbl 1019.68034) 全文: 内政部
卢卡·伯纳迪内洛;卡洛·费里加托;露西娅·波梅尔 分布式系统中可观察属性的代数模型。 (英语) Zbl 1019.68004号 西奥。计算。科学。 290,第1期,637-668(2003).MSC公司:64岁以下 68T27型 第68季度10 PDF格式BibTeX公司 XML格式引用 \textit{L.Bernardinello}等人,Theor。计算。科学。290,编号1637-668(2003年;兹bl 1019.68004) 全文: 内政部
法比奥·阿莱西;保罗·巴尔丹;Furio Honsell 可分离Stone空间的一类合成域模型。 (英语) Zbl 1051.68102号 西奥。计算。科学。 290,第1期,599-635(2003).MSC公司:68问题55 PDF格式BibTeX公司 XML格式引用 \textit{F.Alessi}等人,Theor。计算。科学。290,第1号,599--635(2003;Zbl 1051.68102) 全文: 内政部
弗兰克·斯托普 Boyer-Moore模式匹配算法中子串预处理的正确性。 (英语) Zbl 1018.68050号 西奥。计算。科学。 290,第1期,59-78(2003).MSC公司:68问题65 PDF格式BibTeX公司 XML格式引用 \文本{F.Stomp},Theor。计算。科学。290,第1号,59--78(2003;Zbl 1018.68050) 全文: 内政部
卢卡·德·阿尔法罗;卡普尔,阿琼 混合图。 (英语) Zbl 1029.68119号 西奥。计算。科学。 290,第1期,565-597(2003).MSC公司:68T01型 PDF格式BibTeX公司 XML格式引用 \textit{L.de Alfaro}和\textit{A.Kapur},Theor。计算。科学。290,第1号,565--597(2003;Zbl 1029.68119) 全文: 内政部
朱兆辉;李斌;肖,西安;陈师父;朱武佳 恢复满足wci的收缩关系的一个表示定理。 (英语) Zbl 1019.68106号 西奥。计算。科学。 290,第1期,545-564(2003).MSC公司:68立方英尺 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{Z.Zhu}等人,Theor。计算。科学。290,第1号,545--564(2003;Zbl 1019.68106) 全文: 内政部
帕特里克·库索;拉迪亚·库索特 语法语义的抽象解释。 (英语) Zbl 1019.68048号 西奥。计算。科学。 290,第1期,531-544(2003).MSC公司:2012年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{P.Cousot}和\textit{R.Cousot},Theor。计算。科学。290,第1号,531--544(2003;Zbl 1019.68048) 全文: 内政部
卡洛斯·伊万·切斯尼瓦尔;尤尔根·迪克斯;弗里德·斯托尔森堡;G.R.吉列莫·里卡多·西蒙 通过转换属性将可解逻辑编程和常规逻辑编程联系起来。 (英语) 兹比尔1051.68043 西奥。计算。科学。 290,第1期,499-529(2003).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{C.I.Chesñevar}等人,Theor。计算。科学。290,第1号,499--529(2003;Zbl 1051.68043) 全文: 内政部
安德烈亚·马焦洛·谢蒂尼;阿德里亚诺·佩隆;西蒙·蒂尼 Statecharts步骤语义的比较。 (英语) 兹比尔1018.68045 西奥。计算。科学。 290,第1期,465-498(2003).MSC公司:68问题55 PDF格式BibTeX公司 XML格式引用 \textit{A.Maggiolo-Schettini}等人,Theor。计算。科学。290,编号1465-498(2003年;兹bl 1018.68045) 全文: 内政部
中泽,Koji call-by-value\(lambda\mu\)-演算的汇聚性和强正规化性。 (英语) Zbl 1018.68016号 西奥。计算。科学。 290,第1期,429-463(2003).MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \文本{K.Nakazawa},Theor。计算。科学。290,第1号,429--463(2003;Zbl 1018.68016) 全文: 内政部
佛朗哥·巴巴内拉;斯特凡诺·贝拉尔迪 多态性的完整连续模型。 (英语) Zbl 1018.68015号 西奥。计算。科学。 290,第1期,407-428(2003).MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{F.Barbanera}和\textit{S.Berardi},Theor。计算。科学。290,第1号,407--428(2003;Zbl 1018.68015) 全文: 内政部
Bravetti,M。;阿尔迪尼,A。 具有不同推进速度的离散时间生成-反应概率过程。 (英语) Zbl 1018.68051号 西奥。计算。科学。 290,第1期,355-406(2003).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Bravetti}和\textit{A.Aldini},Theor。计算。科学。290,编号1,355--406(2003;Zbl 1018.68051) 全文: 内政部
塞萨尔·蒂内利;克里斯托夫·林盖森 非不相交理论的结合和可满足性过程的组合。 (英语) 兹伯利1018.68033 西奥。计算。科学。 290,第1期,291-353(2003).MSC公司:65年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{C.Tinelli}和\textit{C.Ringeissen},Theor。计算。科学。290,第1号,291--353(2003;Zbl 1018.68033) 全文: 内政部
多雷尔·卢卡努 重写逻辑的松弛模型。 (英语) Zbl 1018.68036号 西奥。计算。科学。 290,第1期,265-289(2003).MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{D.Lucanu},Theor。计算。科学。290,第1号,265--289(2003;Zbl 1018.68036) 全文: 内政部
帕罗什·阿齐兹·阿卜杜拉;本特·琼森 具有许多相同定时过程的系统的模型检查。 (英语) Zbl 1018.68046号 西奥。计算。科学。 290,第1期,241-264(2003).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}和\textit{B.Jonsson},Theor。计算。科学。290,第1号,241--264(2003;Zbl 1018.68046) 全文: 内政部
马达瓦恩·穆昆德;Narayan Kumar,K。;米林·索霍尼 消息传递系统中的有界时间戳。 (英语) Zbl 1018.68003号 西奥。计算。科学。 290,第1期,221-239(2003).MSC公司:64岁以下 PDF格式BibTeX公司 XML格式引用 \文本{M.Mukund}等人,Theor。计算。科学。290,编号1,221--239(2003;Zbl 1018.68003) 全文: 内政部
西尔维奥·瓦伦蒂尼 马丁·洛夫直觉主义类型理论中的笛卡尔闭范畴。 (英语) Zbl 1018.68078号 西奥。计算。科学。 290,第1期,189-219页(2003年).MSC公司:68T27型 03B15号机组 03B20型 PDF格式BibTeX公司 XML格式引用 \textit{S.Valentini},Theor(西奥·瓦伦蒂尼)。计算。科学。290,第1号,189--219(2003;Zbl 1018.68078) 全文: 内政部
奥利维·洛朗 极化证明网和(lambda-mu)-演算。 (英语) Zbl 1019.68021号 西奥。计算。科学。 290,第1期,161-188(2003).MSC公司:68甲18 03B40型 07年3月 03楼52 PDF格式BibTeX公司 XML格式引用 \文本{O.Laurent},Theor。计算。科学。290,第1号,161--188(2003;Zbl 1019.68021) 全文: 内政部
马可·贝尔纳多;马里奥·布拉维蒂 马尔科夫过程代数的性能度量敏感同余。 (英语) Zbl 1019.68065号 西奥。计算。科学。 290,第1期,117-160(2003).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Bernardo}和\textit{M.Bravetti},Theor。计算。科学。290,编号1,117--160(2003;Zbl 1019.68065) 全文: 内政部
可口、蒂埃里 婚姻引理的句法证明。 (英语) Zbl 1051.03048号 西奥。计算。科学。 290,第1期,1107-1113(2003).MSC公司:20层03 03B35型 05年05月05日 PDF格式BibTeX公司 XML格式引用 \textit{T.Coquand},Theor(泰奥)。计算。科学。290,第1号,1107--1113(2003;Zbl 1051.03048) 全文: 内政部
法比奥·马丁内利 安全协议作为开放系统的分析。 (英语) Zbl 1019.68039号 西奥。计算。科学。 290,第1期,1057-1106(2003).MSC公司:第68页第25页 PDF格式BibTeX公司 XML格式引用 \文本{F.Martinelli},Theor。计算。科学。290,第1号,1057--1106(2003;Zbl 1019.68039) 全文: 内政部
莱因哈德·皮克勒 Herbrand宇宙子集的显式表示与隐式表示。 (英语) Zbl 1051.68061号 西奥。计算。科学。 290,第1期,1021-1056(2003).MSC公司:第68季度01 PDF格式BibTeX公司 XML格式引用 \文本{R.Pichler},Theor。计算。科学。290,第1号,1021--1056(2003;Zbl 1051.68061) 全文: 内政部
马里奥斯·马夫罗尼科拉斯;尼科斯·帕帕达基斯 连接管理的权衡结果。 (英语) Zbl 1008.68010号 西奥。计算。科学。 290,第1期,1-57页(2003年).MSC公司:68个M12 64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{M.Mavronicolas}和\textit{N.Papadakis},Theor。计算。科学。290,编号1,1--57(2003年;兹bl 1008.68010) 全文: 内政部