×

找到15个文档（结果1-15）

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

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

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

UnQL图的迭代代数和互模拟的完备性。 （英语） Zbl 1476.68073号

Matthes，Ralph（编辑）等人，第十届计算机科学固定点国际研讨会论文集，2015年国际计算机科学联合会，德国柏林，2015年9月11日至12日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）19175-89（2015）。
MSC公司：第68页，共15页 2012年第68季度 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{M.Hamana}，电子。程序。西奥。计算。科学。（EPTCS）191、75--89（2015；Zbl 1476.68073）
全文： arXiv公司 链接
拉尔夫·欣泽;何塞·佩德罗·马加莱斯;尼古拉斯·吴

某种意义上的二元性。 （英语） Zbl 1405.68101号

Peter Achten等人，《函数代码之美》。在莱纳斯·普拉斯梅耶61岁生日之际，为他撰写的论文。柏林：施普林格出版社（ISBN 978-3-642-40354-5/pbk）。计算机科学8106课堂讲稿。《人工智能课堂讲稿》，151-167（2013）。
MSC公司：68页第10页
PDF格式BibTeX公司 XML格式引用
\textit{R.Hinze}等人，Lect。注释计算。科学。8106151-167（2013；Zbl 1405.68101）
全文： 内政部
库尼亚，阿尔西诺;雨果·帕切科

递归类型泛型函数的代数特化。 （英语） Zbl 1291.68113号

Capretta，Venanzio（编辑）等人，《数学结构函数编程第二次研讨会论文集》（MSFP 2008），冰岛雷克雅未克，2008年7月6日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》229，第5期，57-74（2011）。
MSC公司：68甲18 68号30 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Cunha}和\textit{H.Pacheco}，电子。注释Theor。计算。科学。229，第5号，57--74（2011；Zbl 1291.68113）
全文： 内政部
拉尔夫·拉梅尔;昂德雷杰·瑞帕克

表达式引理。 （英语） Zbl 1156.68355号

Audebaud，Philippe（编辑）等，《程序构造的数学》。2008年7月15日至18日，第九届国际会议，MPC 2008，法国马赛。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-70593-2/pbk）。计算机科学讲义5133193-219（2008）。
MSC公司：68号30 68问题65
PDF格式BibTeX公司 XML格式引用
\textit{R.Lämmel}和\textit{O.Rypacek}，莱克特。注释计算。科学。5133、193--219（2008年；Zbl 1156.68355）
全文： 内政部
杰里米·吉本斯;格雷厄姆·赫顿;托尔斯滕·阿滕柯奇

什么时候函数是折叠还是展开？ （英语） 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）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件