×

发现28份文件（结果1-28）

最新的 引文 关联
杨志轩;尼古拉斯·吴

神奇的变形以及在哪里可以找到它们。递归方案指南。 （英文） Zbl 07705364号

Komendantskaya，Ekaterina（编辑），《程序构建的数学》。2022年9月26日至28日，第14届国际会议，MPC 2022，格鲁吉亚第比利斯。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。13544222-267（2022）。
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{Z.Yang}和\textit{N.Wu}，Lect。注释计算。科学。13544、222--267（2022；Zbl 07705364）
全文： 内政部 arXiv公司
明尼苏达州阮市;尼古拉斯·吴

折叠神经网络。 （英文） Zbl 07705360号

Komendantskaya，叶卡捷琳娜（编辑），程序构建的数学。2022年9月26日至28日，第14届国际会议，MPC 2022，格鲁吉亚第比利斯。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。13544, 129-150 (2022).
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{M.Nguyen}和\textit{N.Wu}，Lect。注释计算。科学。13544、129-150（2022；Zbl 07705360）
全文： 内政部 arXiv公司
沙迦·伊扎基;希拉·佩勒;纳迪亚·波里卡波娃;鲁本·罗伊，N.S。;伊利亚·谢尔盖

带有指针的程序演绎合成：技术、挑战、机会（特邀论文）。 （英文） Zbl 1493.68053号

Silva，Alexandra（编辑）等人，《计算机辅助验证》。第33届国际会议，CAV 2021，虚拟活动，2021年7月20日至23日。诉讼程序。第一部分查姆：施普林格。勒克特。注释计算。科学。12759, 110-134 (2021).
MSC公司：68号01 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Itzhaky}等人，Lect。注释计算。科学。12759、110-134（2021年；Zbl 1493.68053）
全文： 内政部
纪尧姆·阿拉伊斯;罗伯特·艾奇;詹姆斯·查普曼;康纳·麦克布莱德;詹姆斯·麦金纳

具有绑定的语法的类型和范围安全的宇宙：它们的语义和证明。 （英文） Zbl 1522.68118号

J.功能。程序。 31，论文编号e22，55 p.（2021）.
MSC公司：68甲18 68甲15 68号30 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{G.Allais}等人，J.Funct。程序。31，论文编号e22，55 p.（2021；Zbl 1522.68118）
全文： 内政部 arXiv公司
杰林，约翰;皮革，肖恩;佩德罗·马加莱斯（José）;阿列克谢·罗德里格斯·雅库舍夫

Haskell中的泛型编程库。 （英文） Zbl 1263.68037号

Koopman，Pieter（编辑）等人，《高级函数编程》。第六国际学校，法新社2008年5月，荷兰Heijen。修订的讲座。柏林：施普林格出版社（ISBN 978-3-642-04651-3/pbk）。《计算机科学讲义》5832165-229（2009）。
MSC公司：68甲18
PDF格式BibTeX公司 XML格式引用
\textit{J.Jeuring}等人，Lect。注释计算。科学。5832、165--229（2009年；Zbl 1263.68037）
全文： 内政部
乌尔里希·伯杰

从共性证明到精确实数运算。 （英文） Zbl 1218.03035号

Grädel，Erich（编辑）等人，《计算机科学逻辑》。2009年9月7日至11日，第23届国际研讨会，CSL，第18届EACSL年会，葡萄牙科英布拉。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04026-9/pbk）。计算机科学课堂讲稿5771132-146（2009）。
MSC公司：03层60 03D78号 68号30
PDF格式BibTeX公司 XML格式引用
\textit{U.Berger}，莱克特。注释计算。科学。5771、132--146（2009年；Zbl 1218.03035）
全文： 内政部
杰里米·吉本斯;格雷厄姆·赫顿;托尔斯滕阿尔滕基奇

什么时候函数是折叠还是展开？ （英文） Zbl 1260.68096号

Corradini，Andrea（编辑）等人，CMCS 2001。2001年4月6日至7日，意大利热那亚，计算机科学中的联合大脑方法第四次研讨会论文集。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记44，第1期，146-160（2001）。
MSC公司：68号30 68问题65
PDF格式BibTeX公司 XML格式引用
\textit{J.Gibbons}等人，《电子》。注释Theor。计算。科学。44，第1号，146--160（2001；Zbl 1260.68096）
全文： 内政部
路易斯·巴博萨。

处理Bird-Meertens的计算。 （英文） Zbl 1260.68257号

Corradini，Andrea（编辑）等人，CMCS 2001。2001年4月6日至7日，意大利热那亚，计算机科学中的联合大脑方法第四次研讨会论文集。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》44，第1期，47-66（2001）。
MSC公司：68问题85 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{L.S.Barbosa}，电子。注释Theor。计算。科学。44，第1号，47-66（2001年；兹bl 1260.68257）
全文： 内政部
罗兰·巴克豪斯;马塞尔·比杰斯特维尔德;van Geldrop，里克;雅普·范德沃德

范畴不动点演算。 （英文） Zbl 1502.68168号

大卫·皮特（编辑）等人，《范畴理论与计算机科学》。第六届国际会议，CTCS’95，英国剑桥，1995年8月7-11日。诉讼程序。柏林：Springer-Verlag。勒克特。注释计算。科学。953, 159-179 (1995).
MSC公司：68问题55 18B35型
PDF格式BibTeX公司 XML格式引用
\textit{R.Backhouse}等人，Lect。注释计算。科学。953159--179（1995年；Zbl 1502.68168）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件