贾利民;赵建州;维勒姆·舍贝里;斯蒂芬妮·威里奇 依赖类型和程序等价性。 (英语) Zbl 1312.68062号 2010年1月17日至23日在西班牙马德里举行的第37届ACM SIGPLAN-SIGACT编程语言原则研讨会会议记录。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-60558-479-9)。275-286(2010年)。MSC公司:68号30 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{L.Jia}等人,摘自:第37届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集,POPL’10,西班牙马德里,2010年1月17日至23日。纽约州纽约市:计算机协会(ACM)。275--286(2010年;Zbl 1312.68062) 全文: 内政部 链接
J.Garrett莫里斯;马克·琼斯。 实例链:没有重叠实例的类型类编程。 (英语) Zbl 1323.68141号 2010年9月27日至29日,美国马里兰州巴尔的摩ICFP’10第15届ACM SIGPLAN功能编程国际会议记录。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-60558-794-3)。ACM SIGPLAN Notices 45,No.9,375-386(2010)。MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{J.G.Morris}和\textit{M.P.Jones},摘自:第15届ACM SIGPLAN函数编程国际会议论文集,ICFP’10,美国马里兰州巴尔的摩,2010年9月27-29日。纽约州纽约市:计算机协会(ACM)。375--386(2010年;Zbl 1323.68141) 全文: 内政部
塞巴斯蒂安·费舍尔;弗兰克,哈;托马斯·威尔克 正则表达式游戏:函数珍珠。 (英语) Zbl 1323.68111号 2010年9月27日至29日,美国马里兰州巴尔的摩ICFP’10第15届ACM SIGPLAN功能编程国际会议记录。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-60558-794-3)。ACM SIGPLAN公告45,编号9,357-368(2010)。MSC公司:68甲18 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Fischer}等人,in:第15届ACM SIGPLAN函数编程国际会议论文集,ICFP’10,美国马里兰州巴尔的摩,2010年9月27-29日。纽约州纽约市:计算机协会(ACM)。357--368(2010年;Zbl 1323.68111) 全文: 内政部
尼尔·米切尔 重新思考超级编译。 (英语) Zbl 1323.68191号 2010年9月27日至29日,美国马里兰州巴尔的摩ICFP’10第15届ACM SIGPLAN功能编程国际会议记录。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-60558-794-3)。ACM SIGPLAN Notices 45,No.9,309-320(2010)。MSC公司:68N20型 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{N.Mitchell},in:第15届ACM SIGPLAN函数式编程国际会议记录,ICFP’10,美国马里兰州巴尔的摩,2010年9月27-29日。纽约州纽约市:计算机协会(ACM)。309-320(2010年;兹bl 1323.68191) 全文: 内政部
安德鲁·麦克里特;蒂姆·骑士;安德鲁·托尔马赫 编译和执行垃圾收集语言的认证框架。 (英语) Zbl 1323.68136号 2010年9月27日至29日,美国马里兰州巴尔的摩ICFP’10第15届ACM SIGPLAN功能编程国际会议记录。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-60558-794-3)。ACM SIGPLAN Notices 45,No.9,273-284(2010)。MSC公司:68甲18 68N20型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.McCreight}等人,in:第15届ACM SIGPLAN函数编程国际会议论文集,ICFP’10,美国马里兰州巴尔的摩,2010年9月27日至29日。纽约州纽约市:计算机协会(ACM)。273-284(2010年;兹bl 1323.68136) 全文: 内政部
加布里埃尔·凯勒;Manuel M.T.查克拉瓦蒂。;罗马莱斯钦斯基;西蒙·佩顿·琼斯;本·利普梅耶 Haskell中的规则形状多态并行数组。 (英语) Zbl 1323.68127号 2010年9月27日至29日,美国马里兰州巴尔的摩ICFP’10第15届ACM SIGPLAN功能编程国际会议记录。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-60558-794-3)。ACM SIGPLAN Notices 45,No.9,261-272(2010)。MSC公司:68甲18 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{G.Keller}等人,《第15届ACM SIGPLAN函数编程国际会议论文集》,ICFP’10,美国马里兰州巴尔的摩,2010年9月27-29日。纽约州纽约市:计算机协会(ACM)。261--272(2010;Zbl 1323.68127) 全文: 内政部
德雷克·德雷尔;乔治·奈斯;拉尔斯·比克达尔 高阶状态和控制效果对局部关系推理的影响。 (英语) Zbl 1323.68203号 2010年9月27日至29日,美国马里兰州巴尔的摩ICFP’10第15届ACM SIGPLAN功能编程国际会议记录。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-60558-794-3)。ACM SIGPLAN Notices 45,No.9,143-156(2010)。MSC公司:68号30 68甲18 68问题55 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Dreyer}等人,in:第15届ACM SIGPLAN函数编程国际会议论文集,ICFP’10,美国马里兰州巴尔的摩,2010年9月27-29日。纽约州纽约市:计算机协会(ACM)。143-156(2010年;Zbl 1323.68203) 全文: 内政部
van Eijck,简;克里斯蒂娜·昂格 函数编程的计算语义。 (英语) Zbl 1305.68017号 剑桥:剑桥大学出版社(ISBN 978-0-521-76030-0/hbk;978-0-5.21-75760-7/pbk;978-1-511-77837-7/ebook)。十五、405页。(2010).MSC公司:68-02 68T50型 03B65型 68甲18 91层20 PDF格式BibTeX公司 XML格式引用 \textit{J.vanEijck}和\textit{C.Unger},函数编程的计算语义。剑桥:剑桥大学出版社(2010;Zbl 1305.68017) 全文: 内政部
2010年9月27日至29日,美国马里兰州巴尔的摩ICFP’10第15届ACM SIGPLAN功能编程国际会议记录。 (英语) Zbl 1282.68047号 ACM SIGPLAN通知45,第9号。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-60558-794-3)。x、 第387页。(2010).MSC公司:68-06 68甲18 00B25型 PDF格式BibTeX公司 XML格式引用 2010年9月27日至29日,美国马里兰州巴尔的摩ICFP’10第15届ACM SIGPLAN函数编程国际会议记录。纽约州纽约市:计算机协会(ACM)(2010;Zbl 1282.68047) 全文: 内政部
布莱恩·查德威克;卡尔·利伯海尔 使用自适应遍历进行泛型编程的函数方法。 (英语) Zbl 1256.68030号 高-订单符号。计算。 23,第4期,433-463(2010).MSC公司:68甲18 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{B.Chadwick}和\textit{K.Lieberherr},高-订单符号。计算。23,第4号,433--463(2010;Zbl 1256.68030) 全文: 内政部
沃特·斯威斯特拉 分布式阵列的更多依赖类型。 (英语) Zbl 1256.68025号 高-订单符号。计算。 23,第4期,489-506(2010).MSC公司:68甲15 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{W.Swierstra},高-订单符号。计算。23,第4号,489--506(2010;Zbl 1256.68025) 全文: 内政部
彼得·阿奇顿;马克·范·埃克伦;彼得·科普曼;马可·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) 全文: 内政部
弗里茨·亨利恩;肯·弗里斯·拉森 具有基于判别的连接和符号笛卡尔积的通用多集编程。 (英语) Zbl 1232.68028号 高-订单符号。计算。 23,第337-370号(2010年).MSC公司:68甲19 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{F.Henglein}和\textit{K.F.Larsen},高-订单符号。计算。23,第3号,337--370(2010;Zbl 1232.68028) 全文: 内政部
斯特凡·霍尔德曼;尤里安·黑格 使“严格性”更具相关性。 (英语) Zbl 1232.68026号 高-订单符号。计算。 23,第3期,315-335(2010).MSC公司:68甲15 68N20型 PDF格式BibTeX公司 XML格式引用 \textit{S.Holdermans}和\textit{J.Hage},高中-订单符号。计算。23,第3号,315--335(2010;Zbl 1232.68026) 全文: 内政部
阿里·米德尔科普;阿泽·迪杰斯特拉;斯威斯特拉,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) 全文: 内政部
尼尔·斯卡索普;亨利克·尼尔森 面对变化保持冷静。通过推理变化来优化FRP。 (英语) Zbl 1232.68027号 高-订单符号。计算。 23,第2期,227-271(2010).MSC公司:68甲18 68甲19 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{N.Sculthorpe}和\textit{H.Nilsson},高-订单符号。计算。23,第2号,227--271(2010;Zbl 1232.68027) 全文: 内政部
埃尔科·多尔斯特拉;安德烈斯·洛赫;尼古拉斯·皮埃伦 Nixos:一个纯功能的Linux发行版。 (英语) Zbl 1220.68032号 J.功能。程序。 20,编号5-6,577-615(2010).MSC公司:68甲15 68N25号 PDF格式BibTeX公司 XML格式引用 \textit{E.Dolstra}等人,J.Funct。程序。20,编号5--6577--615(2010;Zbl 1220.68032) 全文: 内政部
拉尔夫·欣泽 混凝土流演算:扩展研究。 (英语) Zbl 1221.68072号 J.功能。程序。 20,编号5-6,463-535(2010).MSC公司:68第05页 68甲15 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{R.Hinze},J.Funct。程序。20,编号5--6,463--535(2010;Zbl 1221.68072) 全文: 内政部
安德烈斯·洛赫;康纳·麦克布莱德;沃特·斯威斯特拉 依赖类型lambda演算的教程实现。 (英语) Zbl 1217.68052号 芬达姆。通知。 102,编号2177-207(2010).MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{A.Löh}等人,Fundam。通知。102,第2号,177--207(2010;Zbl 1217.68052) 全文: 内政部
雷蒙德·布特 无点表达和计算:从量化到时序逻辑。 (英语) Zbl 1211.68080号 形式方法系统。设计。 37,编号2-3,95-140(2010).MSC公司:68号30 第68季度第60季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{R.Boute},形式方法系统。设计。37、编号2--3、95-140(2010;Zbl 1211.68080) 全文: 内政部
乌尔里希·伯杰;莫尼卡·塞森伯格 通过归纳和共归纳的类型可实现性提取程序。 (英语) Zbl 1244.03107号 Ralf Schindler(编辑),《证明理论的方法》。2008年7月17日至19日,沃尔夫拉姆·波勒(Wolfram Pohlers)退休之际,在德国穆斯特举行的座谈会和研讨会上,演讲人收集了论文。美因河畔法兰克福:Ontos Verlag(ISBN 978-3-86838-087-3/hbk)。Ontos数学逻辑2,157-182(2010)。MSC公司:03B70号 65楼03号 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{U.Berger}和\textit{M.Seisenberger},Ontos数学。日志。2157--182(2010;Zbl 1244.03107)
范·艾伊克(Jan van Eijck) 社交软件的语言。 (英语) Zbl 1214.03021号 合成 177,补遗1,77-96(2010).MSC公司:03B65型 91层20 PDF格式BibTeX公司 XML格式引用 \textit{J.van Eijck},Synthese综合177,77--96(2010;Zbl 1214.03021) 全文: 内政部
巴斯蒂安·海仁;约翰·杰林;亚历克斯·格德斯 指定交互式练习的重写策略。 (英语) Zbl 1205.68184号 数学。计算。科学。 3,第3号,349-370(2010).MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Heeren}等人,《数学》。计算。科学。3,编号:3349--370(2010年;Zbl 1205.68184) 全文: 内政部
格雷厄姆·赫顿;毛罗·贾斯克利奥夫;安迪·吉尔 分解折叠以实现更快的功能。 (英语) Zbl 1210.68047号 J.功能。程序。 20,编号3-4,353-373(2010).MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{G.Hutton}等人,J.Funct。程序。20,编号3-4-353-373(2010年;兹bl 1210.68047) 全文: 内政部
布鲁诺·C·d·S·奥利维拉。;杰里米·吉本斯 针对泛型程序员的Scala。 (英语) Zbl 1213.68191号 J.功能。程序。 20,编号3-4,303-352(2010).MSC公司:68甲18 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{B.C.d.S.Oliveira}和textit{J.Gibbons},J.Funct。程序。20,编号3--4,303--352(2010;Zbl 1213.68191) 全文: 内政部
让-菲利普·伯纳迪;帕特里克·詹森;马钦·扎勒夫斯基;西比尔·舒普 使用C++概念和Haskell类型类的泛型编程——比较。 (英语) 兹比尔1209.68078 J.功能。程序。 20,编号3-4,271-302(2010).MSC公司:68甲15 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{J.-P.Bernardy}等人,J.Funct。程序。20,编号3--4,271--302(2010;Zbl 1209.68078) 全文: 内政部
约瑟夫·吉尔(约西);克伦·伦茨 简单安全的SQL查询C类++模板。 (英语) Zbl 1211.68155号 科学。计算。程序。 75,第7期,573-595(2010).MSC公司:第68页第15页 68甲15 68N20型 PDF格式BibTeX公司 XML格式引用 \textit{J.Gil}和\textit{K.Lenz},科学。计算。程序。75,第7号,573--595(2010;Zbl 1211.68155) 全文: 内政部
尼古拉斯·弗里斯比;加林·基梅尔;菲利普·韦弗;佩里·亚历山大 用代数组合子构造语言处理器。 (英语) Zbl 1211.68049号 科学。计算。程序。 75,第7期,543-572(2010).MSC公司:68甲15 PDF格式BibTeX公司 XML格式引用 \textit{N.Frisby}等人,科学。计算。程序。75,编号7,543--572(2010;Zbl 1211.68049) 全文: 内政部
马丁·布拉文波尔;埃尔科·多尔斯特拉;埃尔科·维瑟 使用语法嵌入防止注入攻击。 (英语) 兹比尔1211.68046 科学。计算。程序。 75,第7期,473-495(2010).MSC公司:68甲15 PDF格式BibTeX公司 XML格式引用 \textit{M.Bravenboer}等人,科学。计算。程序。75,第7号,473--495(2010;Zbl 1211.68046) 全文: 内政部
马库斯·阿德霍尔德 带有前提条件的二阶程序。 (英语) Zbl 1309.68035号 Siegler,Simon(编辑)等人,《验证、归纳、终止分析》。在克里斯托夫·沃尔特60岁生日之际,为他举行庆祝活动。柏林:施普林格出版社(ISBN 978-3-642-17171-0/pbk)。计算机科学课堂讲稿6463。人工智能课堂讲稿,129-143(2010)。MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.Aderhold},莱克特。注释计算。科学。6463、129--143(2010年;Zbl 1309.68035) 全文: 内政部
理查德·伯德 函数算法设计的珍珠。 (英语) Zbl 1229.68026号 剑桥:剑桥大学出版社(ISBN 978-0-521-51338-8/hbk;978-0-511-79588-6/电子书)。xii,第277页。(2010). 审核人:哈伊姆·基洛夫(米林顿) MSC公司:68甲18 68-02 68号30 68瓦40 68周05 PDF格式BibTeX公司 XML格式引用 \textit{R.Bird},函数算法设计的珍珠。剑桥:剑桥大学出版社(2010;Zbl 1229.68026)
沃尔特·古特曼 功能动作的强制性抽象。 (英语) Zbl 1205.68115号 J.日志。代数。程序。 79,第8期,768-793(2010).MSC公司:68甲19 68第05页 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{W.Guttmann},J.Log(J·洛格)。代数。程序。79,第8号,768--793(2010;Zbl 1205.68115) 全文: 内政部
马科托·哈马纳 循环共享树结构的初始代数语义。 (英语) Zbl 1209.68371号 日志。计算方法。科学。 6,第3号,第15号论文,23页(2010年).MSC公司:68兰特 PDF格式BibTeX公司 XML格式引用 \textit{M.Hamana},日志。计算方法。科学。6,第3号,第15号论文,23页(2010年;Zbl 1209.68371) 全文: 内政部
奥列格·洛巴乔夫;丽塔·勒根 在Eden中实现数据并行有理多残留算法。 (英语) Zbl 1290.68135号 Gerdt,Vladimir P.(编辑)等人,《科学计算中的计算机代数》。2010年9月6日至12日,第十二届国际研讨会,中国社会科学院2010年,亚美尼亚察赫卡佐。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-15273-3/pbk)。《计算机科学讲义》62441178-193(2010)。MSC公司:68瓦30 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{O.Lobachev}和\textit{R.Loogen},莱克特。注释计算。科学。6244178--193(2010年;Zbl 1290.68135) 全文: 内政部
保罗·塔劳 关于遗传有限集、函数和类型的算术计算。 (英语) Zbl 1286.68063号 Cavalcanti,Ana(编辑)等人,《计算的理论方面——ICTAC 2010》。2010年9月1日至3日,巴西北里奥格兰德河纳塔尔举行的第七届国际学术讨论会。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-14807-1/pbk)。计算机科学课堂讲稿6255367-381(2010)。MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{P.Tarau},莱克特。注释计算。科学。6255367--381(2010年;Zbl 1286.68063) 全文: 内政部
阿拉斯泰尔·唐纳森。;盖伊,西蒙·J。 Promela的类型推断和强静态类型检查。 (英语) Zbl 1209.68080号 科学。计算。程序。 75,第11期,1165-1191(2010).MSC公司:68甲15 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{A.F.Donaldson}和\textit{S.J.Gay},科学。计算。程序。75,第11号,1165--1191(2010;Zbl 1209.68080) 全文: 内政部
陈坤;翁淑春;王、孟;邱小成;陈忠信 多态类型函数语言方面的类型定向编织。 (英语) Zbl 1209.68105号 科学。计算。程序。 75,第11期,1048-1076(2010).MSC公司:68甲18 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{K.Chen}等人,《科学》。计算。程序。75,第11号,1048--1076(2010;Zbl 1209.68105) 全文: 内政部 链接
保罗·塔劳 算术和集合理论数据类型的统一形式描述。 (英语) Zbl 1286.68062号 Autexier,Serge(编辑)等人,《智能计算机数学》。2010年7月5日至10日,第十届国际会议,AISC 2010,第十七届研讨会,Calculemus 2010,第九届国际会议MKM 2010,法国巴黎。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-14127-0/pbk)。计算机科学讲义6167。人工智能课堂讲稿,247-261(2010)。MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{P.Tarau},莱克特。注释计算。科学。6167247--261(2010;Zbl 1286.68062) 全文: 内政部
Alpunte,M。;M.科米尼。;埃斯科瓦尔,S。;M.法拉斯基。;J·伊波拉。 术语重写系统的紧凑不动点语义。 (英语) Zbl 1209.68285号 西奥。计算。科学。 411,第37号,3348-3371(2010).MSC公司:2012年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{M.Alpunte}等人,Theor。计算。科学。411,编号373348-3371(2010年;Zbl 1209.68285) 全文: 内政部
阿勒科恩,比阿特丽兹;劳尔·古铁雷斯;萨尔瓦多卢卡斯 上下文相关依赖项对。 (英语) Zbl 1206.68158号 Inf.计算。 208,第8期,922-968(2010).MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Alarcón}等人,《信息计算》。208,第8号,922--968(2010;Zbl 1206.68158) 全文: 内政部
听说了,达米安;克雷格·霍奇森;布鲁诺·马泰利;卡洛·彼得罗尼奥 复杂度较小的双曲线图。 (英语) Zbl 1207.57024号 实验数学。 19,第2期,211-236(2010). 审核人:一原和弘(东京) MSC公司:57M50型 57米27 05C30号 57平方米 57米15 PDF格式BibTeX公司 XML格式引用 \textit{D.Heard}等人,实验数学。19,编号2211-236(2010年;Zbl 1207.57024) 全文: 内政部 arXiv公司 欧几里得 反向链接: 卫生官员
利斯贝斯·德·莫尔;马滕·布林克;马丁·卡尔 哈斯克尔之前的哈斯克尔:库里对编程的贡献(1946-1950)。 (英语) Zbl 1290.68004号 Ferreira,Fernando(编辑)等人,《程序、证明、过程》。2010年6月30日至7月4日在葡萄牙亚速尔群岛德尔加达桥举行的第六届欧洲可计算性会议,CiE 2010。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-13961-1/pbk)。计算机科学课堂讲稿6158108-117(2010)。MSC公司:68-03 01A60型 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{L.De Mol}等人,Lect。注释计算。科学。6158108-117(2010年;兹比尔1290.68004) 全文: 内政部 链接
乌尔里希·伯杰;莫尼卡·塞森伯格 校对、程序、流程。 (英语) Zbl 1280.68077号 Ferreira,Fernando(编辑)等人,《程序、证明、过程》。2010年6月30日至7月4日在葡萄牙亚速尔群岛德尔加达桥举行的第六届欧洲可计算性会议,CiE 2010。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-13961-1/pbk)。计算机科学课堂讲稿6158,39-48(2010)。MSC公司:68号30 35层03 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{U.Berger}和\textit{M.Seisenberger},莱克特。注释计算。科学。6158、39-48(2010年;Zbl 1280.68077) 全文: 内政部 链接
Jens Fisseler公司 使用概率条件逻辑进行学习和建模。 (英语) Zbl 1211.68314号 DISKI公司。论文en zur Künstlichen Intelligenz328.阿姆斯特丹:IOS出版社;海德堡:Akademische Verlagsgesellschaft Aka(ISBN 978-1-60750-098-8/pbk;978-3-89838-328-8/pbk)。xi,第223页。(2010). 审核人:亚历克斯·纳贝宾(莫斯科) MSC公司:68T05型 68-02 68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{J.Fisseler},使用概率条件逻辑学习和建模。阿姆斯特丹:IOS出版社;海德堡:Akademische Verlagsgesellschaft Aka(2010;Zbl 1211.68314)
蒂尔·莫萨科夫斯基;卢茨·施罗德;谢尔盖·冈查洛夫 用于推理纯度和效果的通用完整动态逻辑。 (英语) Zbl 1209.68084号 正式Asp。计算。 22,编号3-4,363-384(2010).MSC公司:68甲15 PDF格式BibTeX公司 XML格式引用 \textit{T.Mossakowski}等人,正式Asp。计算。22,编号3--4,363--384(2010;Zbl 1209.68084) 全文: 内政部 哈尔
直纪西田;德国维达尔 通过终止重写来终止收缩。 (英语) Zbl 1197.68049号 申请。代数工程通讯。计算。 21,第3期,177-225(2010).MSC公司:2012年第68季度 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{N.Nishida}和\textit{G.Vidal},应用。代数工程通讯。计算。21,第3号,177--225(2010;Zbl 1197.68049) 全文: 内政部
弗洛里安·哈夫特曼;托比亚斯·尼普科 通过高阶重写系统生成代码。 (英语) Zbl 1284.68131号 Blume,Matthias(编辑)等人,《函数和逻辑编程》。2010年4月19日至21日,第十届国际研讨会,FLOPS 2010,日本仙台。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-12250-7/pbk)。计算机科学课堂讲稿6009,103-117(2010)。MSC公司:68甲18 2012年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{F.Haftmann}和\textit{T.Nipkow},莱克特。注释计算。科学。6009103--117(2010年;兹bl 1284.68131) 全文: 内政部
彼得·蒂曼;马丁·苏尔兹曼 用于绑定时多态程序生成的无标记组合子。 (英语) Zbl 1284.68138号 Blume,Matthias(编辑)等人,《函数和逻辑编程》。2010年4月19日至21日,第十届国际研讨会,FLOPS 2010,日本仙台。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-12250-7/pbk)。计算机科学课堂讲稿6009,87-102(2010)。MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{P.Thiemann}和\textit{M.Sulzmann},莱克特。注释计算。科学。6009,87-102(2010;Zbl 1284.68138) 全文: 内政部
多米尼克·乌节;汤姆·施里杰弗斯 释放了Haskell类型约束。 (英语) Zbl 1284.68135号 Blume,Matthias(编辑)等人,《函数和逻辑编程》。2010年4月19日至21日,第十届国际研讨会,FLOPS 2010,日本仙台。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-12250-7/pbk)。计算机科学课堂讲稿6009,56-71(2010)。MSC公司:68甲18 68N20型 PDF格式BibTeX公司 XML格式引用 \textit{D.Orchard}和\textit{T.Schrijvers},莱克特。注释计算。科学。6009,56-71(2010年;兹bl 1284.68135) 全文: 内政部 链接
李鹏;史蒂夫·兹丹塞维奇 安全信息流箭头。 (英语) Zbl 1200.68063号 西奥。计算。科学。 41119974-1994(2010).MSC公司:68甲15 PDF格式BibTeX公司 XML格式引用 \textit{P.Li}和\textit{S.Zdancewic},Theor。计算。科学。41119974-1994(2010;Zbl 1200.68063) 全文: 内政部
默多克·J·加贝。;亚德·马蒂杰森 lambda演算的名义公理化。 (英语) Zbl 1198.03023号 J.日志。计算。 20,第2期,501-531(2010). 审核人:马丁·邦德(伍伦贡) MSC公司:03B40型 PDF格式BibTeX公司 XML格式引用 \textit{M.J.Gabbay}和\textit{A.Mathijssen},J.Log。计算。20,第2号,501--531(2010;Zbl 1198.03023) 全文: 内政部
彼得·休厄尔;弗朗西斯科·扎帕·纳德利;斯科特·欧文斯;吉尔斯·佩斯金;托马斯·里奇;萨卡,苏斯米特;斯特尼萨,洛克 Ott:对工作语义的有效工具支持。 (英语) Zbl 1185.68201号 J.功能。程序。 20,第1期,71-122(2010).MSC公司:68甲18 68问题55 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{P.Sewell}等人,J.Funct。程序。20,编号1,71-122(2010;Zbl 1185.68201) 全文: 内政部
帕特里夏·约翰;尼尔·加尼 Haskell中使用嵌套类型编程的原则方法。 (英语) Zbl 1183.68141号 高-订单符号。计算。 22,第2期,155-189(2009).MSC公司:68甲15 PDF格式BibTeX公司 XML格式引用 \textit{P.Johann}和\textit{N.Ghani},高-订单符号。计算。22,第2号,155--189(2010;Zbl 1183.68141) 全文: 内政部
拉尔斯·施韦 曲面的不可实现最小顶点三角剖分:使用定向拟阵和可满足性求解器显示不可实现性。 (英语) Zbl 1187.52023号 离散计算。地理。 43,第2期,289-302(2010). 审核人:Simona Settepanella(比萨) MSC公司:52立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{L.Schewe},离散计算。地理。43,第2号,289--302(2010;Zbl 1187.52023) 全文: 内政部 arXiv公司