伊恩·泽尼 关于图的重写、约简和存在循环时的求值。 (英语) Zbl 1425.68175号 高-订购符号。计算。 26,编号1-4,63-84(2013).MSC公司:2012年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{I.Zerny},高-订购符号。计算。26,编号1--4,63-84(2013;Zbl 1425.68175) 全文: 内政部
伊索·萨萨诺;Takumi Goto公司 为隐式类型函数语言完成变量名的方法。 (英语) Zbl 1360.68340号 高-订购符号。计算。 25,第1期,127-163(2012).MSC公司:68甲18 68号30 PDF格式BibTeX公司 XML格式引用 \textit{I.Sasano}和\textit{T.Goto},高-订购符号。计算。25,第1号,127--163(2012;Zbl 1360.68340) 全文: 内政部
德根,马库斯;彼得·蒂曼;斯特凡·韦尔 契约与懒惰的相互作用。 (英语) Zbl 1360.68325号 高-订购符号。计算。 25,第1期,85-125(2012).MSC公司:68甲18 68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.Degen}等人,高-订购符号。计算。25,第1号,85-125(2012;Zbl 1360.68325) 全文: 内政部
直纪小林;松田和川;Shinohara、Ayumi;Kazuya Yaguchi 功能程序作为压缩数据。 (英语) Zbl 1360.68332号 高-订购符号。计算。 25,第1号,39-84(2012).MSC公司:68甲18 68页30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Kobayashi}等人,高-订购符号。计算。25,第1号,第39--84条(2012;Zbl 1360.68332) 全文: 内政部
松田和川;稻田,Kazuhiro;中野圭介 多次数据遍历累加函数的多项式时间反演计算。 (英语) Zbl 1360.68366号 高-订购符号。计算。 25,第1期,第3-38页(2012年).MSC公司:68号30 68甲18 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Matsuda}等人,高-订购符号。计算。25,第1号,第3--38号(2012;Zbl 1360.68366) 全文: 内政部
罗伯特·西蒙斯。;弗兰克·芬宁 程序分析的逻辑近似。 (英语) 兹比尔1256.68045 高-订购符号。计算。 24,编号1-2,41-80(2011).MSC公司:68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{R.J.Simmons}和\textit{F.Pfenning},高-订购符号。计算。24,编号1--2,41-80(2011;Zbl 1256.68045) 全文: 内政部 链接
雅克·加里格;中田庆子 嵌套递归模块的路径解析。 (英语) Zbl 1256.68032号 高-订购符号。计算。 第3207-237号第24页(2011年).MSC公司:68甲18 68号30 PDF格式BibTeX公司 XML格式引用 \textit{J.Garrigue}和\textit{K.Nakata},高-订购符号。计算。24,第3号,207--237(2011;Zbl 1256.68032) 全文: 内政部
彼得·阿奇顿;马克·范·埃克伦;彼得·科普曼;马可·T·莫拉赞。 1999/2000年与2007/2008年职能方案拟订趋势的趋势。 (英语) Zbl 1256.68028号 高-订购符号。计算。 第4期第23页,465-487页(2010年).MSC公司:68甲18 第68页第19页 PDF格式BibTeX公司 XML格式引用 \textit{P.Achten}等人,高-订购符号。计算。23,第4号,465--487(2010;Zbl 1256.68028) 全文: 内政部
阿里·米德尔科普;阿泽·迪杰斯特拉;斯威斯特拉,S.多伊茨 小工具的精益规范:具有一流等式证明的系统F。 (英语) Zbl 1232.68029号 高-订购符号。计算。 23,第2期,145-166(2010).MSC公司:68号30 第68季度第65季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Middelkoop}等人,高-订购符号。计算。23,第2号,145--166(2010;Zbl 1232.68029) 全文: 内政部
古德蒙德·格罗夫;格雷格·迈克尔森 休谟盒演算:通过软件转换实现稳健的系统开发。 (英语) Zbl 1234.68054号 高-订购符号。计算。 23,第2期,191-226(2010).MSC公司:68甲15 68号30 PDF格式BibTeX公司 XML格式引用 \textit{G.Grov}和\textit{G.Michaelson},高-订购符号。计算。23,第2号,191--226(2010;Zbl 1234.68054) 全文: 内政部
埃克塞尔·西蒙;安迪·金 每个不等式抽象域的两个变量。 (英语) Zbl 1232.68030号 高-订购符号。计算。 23,第1期,第87-143页(2010年).MSC公司:68号30 68N20型 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{A.Simon}和\textit{A.King},高-订购符号。计算。23,第1号,87--143(2010;Zbl 1232.68030) 全文: 内政部 链接
福斯托·斯波托;埃蒂安·佩耶特 Java字节码本地化分析的魔法集。 (英语) Zbl 1244.68052号 高-订购符号。计算。 23,第1期,29-86(2010). 审核人:路易吉·帕洛波利(伦德) MSC公司:68问题55 68号30 第68页第19页 PDF格式BibTeX公司 XML格式引用 \textit{F.Spoto}和\textit{E.Payet},高-订购符号。计算。23,编号1,29-86(2010年;兹bl 1244.68052) 全文: 内政部 哈尔
扎伊娜·达盖伊;泽维尔·勒罗伊 一个经过验证的高阶取消修正优化框架。 (英语) Zbl 1209.68106号 高-订购符号。计算。 22,第3期,199-231(2009).MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{Z.Dargaye}和\textit{X.Leroy},高-订购符号。计算。22,第3号,199--231(2009;Zbl 1209.68106) 全文: 内政部
史蒂夫·巴克;Michael Leuschel先生;毛里西奥·瓦雷亚 通过Jones优化逻辑程序专业化实现高效灵活的访问控制。 (英语) Zbl 1189.68043号 高-订购符号。计算。 21,编号1-2,5-35(2008).MSC公司:第68页,共15页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Barker}等人,高-订购符号。计算。21,编号1--2,5--35(2008;Zbl 1189.68043) 全文: 内政部 链接
阿姆托夫特,托本 流敏感型系统和环境演算。 (英语) Zbl 1175.68268号 高-订购符号。计算。 21,第4期,411-442(2008).MSC公司:68问题85 68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{T.Amtoft},高-订购符号。计算。21,第4号,411--442(2008;Zbl 1175.68268) 全文: 内政部
克里斯蒂安·斯卡尔卡 对象方向的类型和跟踪效果。 (英语) 兹比尔1175.68098 高-订购符号。计算。 21,第3号,239-282(2008).MSC公司:68甲15 第68页第19页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Skalka},高-订购符号。计算。21,第3号,239--282(2008;Zbl 1175.68098) 全文: 内政部
伊利亚诺·塞尔维萨托;马克·奥利弗·斯特尔 在具有依赖类型的重写逻辑的扩展中表示MSR密码协议规范语言。 (英语) Zbl 1115.68073号 高-订购符号。计算。 20,编号1-2,3-35(2007).MSC公司:68第25页 2012年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Cervesato}和\textit{M.-O.Stehr},高-订购符号。计算。20,编号1--2,3--35(2007;Zbl 1115.68073) 全文: 内政部
彼得·塞巴·奥维茨基;何塞·梅塞盖尔 实时淡紫色的语义和语用。 (英语) Zbl 1115.68095号 高-订购符号。计算。 20,第1-2号,161-196(2007).MSC公司:2012年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.C.Ølveczky}和\textit{J.Meseguer},高-订购符号。计算。20,编号1-2161-196(2007年;Zbl 1115.68095) 全文: 内政部
尼尔·加尼;塔尔莫乌斯塔卢;马科托·哈马纳 显式替换和高阶语法。 (英语) Zbl 1105.68021号 高-订购符号。计算。 19,编号2-3,263-282(2006).MSC公司:68号30 03B40型 68甲18 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{N.Ghani}等人,高-订购符号。计算。19、编号2--3、263--282(2006;Zbl 1105.68021) 全文: 内政部
安托万·米内 八角形抽象域。 (英语) Zbl 1105.68069号 高-订购符号。计算。 19,第1期,31-100(2006).MSC公司:68问题55 68号30 PDF格式BibTeX公司 XML格式引用 \textit{A.Miné},高-订购符号。计算。19、第1号、第31--100号(2006;Zbl 1105.68069) 全文: 内政部
朱尔斯·德沙奈斯;伯恩哈德·莫勒 关系的最少自反点。 (英语) Zbl 1081.06001号 高-订购符号。计算。 18,编号1-2,51-77(2005).MSC公司:06年06月06日 06B23号 68号30 PDF格式BibTeX公司 XML格式引用 \textit{J.Desharnais}和\textit{B.Möller},高-订购符号。计算。18,编号1--2,51-77(2005;Zbl 1081.06001) 全文: 内政部 链接
西蒙·赫尔森 区域演算的相似性。 (英语) Zbl 1099.68021号 高-订购符号。计算。 第4期第17页,第347-394页(2004年).MSC公司:68号30 68问题85 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{S.Helsen},高-订购符号。计算。17,第4号,347--394(2004;Zbl 1099.68021) 全文: 内政部
克里斯滕森,拉尔斯·迈克尔;瑟伦·克里斯滕森 使用函数编程语言实现彩色Petri网。 (英语) Zbl 1075.68620号 高-订购符号。计算。 17,第3期,207-243(2004).MSC公司:68问题85 68甲18 68号30 PDF格式BibTeX公司 XML格式引用 \textit{L.M.克里斯滕森}和\textit{S.克里斯滕森},高-订购符号。计算。17,第3号,207--243(2004;Zbl 1075.68620) 全文: 内政部
戴维·莱西;尼尔·D·琼斯。;埃里克·范怀克;卡尔·克里斯蒂安·弗雷德里克森 基于时序逻辑的编译器优化正确性。 (英语) Zbl 1075.68015号 高-订购符号。计算。 17,第3期,173-206(2004).MSC公司:68N20型 PDF格式BibTeX公司 XML格式引用 \textit{D.Lacey}等人,高-订购符号。计算。17,第3号,173--206(2004;Zbl 1075.68015) 全文: 内政部
Hayo Thielecke 比较双筒CPS的控制结构。 (英语) Zbl 1029.03017号 高-订购符号。计算。 15,编号2-3,141-160(2002).MSC公司:03B70号 68号30 PDF格式BibTeX公司 XML格式引用 \textit{H.Thielecke},高-订购符号。计算。15,编号2-13141-160(2002年;Zbl 1029.03017) 全文: 内政部
斯科特·史密斯。;卡罗琳·塔尔科特。 演员系统规范图。 (英语) Zbl 1020.68051号 高-订购符号。计算。 15,第4期,301-348(2002).MSC公司:60年第68季度 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{S.F.Smith}和\textit{C.L.Talcott},高-订购符号。计算。15,第4号,301--348(2002;Zbl 1020.68051) 全文: 内政部
席宏伟 程序终止验证的依赖类型。 (英语) Zbl 1041.68059号 高-订购符号。计算。 15,第1期,91-131(2002).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Xi},高-订购符号。计算。15,第1号,91--131(2002;Zbl 1041.68059) 全文: 内政部
约翰·哈特克利夫;马修·B·德怀尔。;郑红军 模型构建的切片软件。 (英语) Zbl 0972.68021号 高-订购符号。计算。 13,第4号,315-353(2000).MSC公司:68号01 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Hatcliff}等人,高-订购符号。计算。13,第4号,315--353(2000;Zbl 0972.68021) 全文: 内政部