×

找到21个文档（结果1–21）

最新的 引文 相关性
马丁·苏尔兹曼;斯特凡·韦尔

羽量级围棋的字典翻译。 （英语） Zbl 1520.68020号

哦，Hakjoo（编辑），编程语言和系统。第19届亚洲研讨会，APLAS 2021，芝加哥，伊利诺伊州，美国，2021年10月17日至18日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13008, 102-120 (2021).
MSC公司：68甲15
PDF格式BibTeX公司 XML格式引用
\textit{M.Sulzmann}和\textit{S.Wehr}，莱克特。注释计算。科学。13008102-120（2021；Zbl 1520.68020）
全文： 内政部 arXiv公司
米查尔·科内奇;塞翁公园;霍尔格·蒂斯

公理实数和经证明有效的精确实数计算。 （英语） Zbl 07547745号

Silva，Alexandra（编辑）等人，《逻辑、语言、信息和计算》。第27届国际研讨会，WoLLIC 2021，虚拟活动，2021年10月5日至8日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13038, 252-268 (2021).
MSC公司：03B70号
PDF格式BibTeX公司 XML格式引用
\textit{M.Koneční}等人，Lect。注释计算。科学。13038、252--268（2021；Zbl 07547745）
全文： 内政部 链接
汤姆·沃克;阿德琳德·M·乌尔马赫。

基于规则的建模语言中的非线性模式匹配。 （英语） Zbl 1491.92067号

Cinquemani，Eugenio（编辑）等人，《系统生物学中的计算方法》。第19届国际会议，CMSB 2021，波尔多，法国，2021年9月22日至24日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12881, 198-214 (2021).
MSC公司：92立方厘米 92C40型 92-08
PDF格式BibTeX公司 XML格式引用
\textit｛T.Warnke｝和\textit｛A.M.Uhrmacher｝，Lect。注释计算。科学。12881198-214（2021年；Zbl 1491.92067）
全文： 内政部
凯特琳·达布雷拉;Jeremy道森;拉杰夫·戈尔

时态逻辑线性嵌套序列的一种经过形式验证的删减过程。 （英语） Zbl 07532522号

Das，Anupam（编辑）等人，《使用分析表和相关方法的自动推理》。第30届国际会议，2021年9月6日至9日，英国伯明翰，TABLEAUX 2021。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12842, 281-298 (2021).
MSC公司：第68卷第15页
PDF格式BibTeX公司 XML格式引用
\textit{C.D'Aberra}等人，Lect。注释计算。科学。12842、281--298（2021；Zbl 07532522）
全文： 内政部
优素福·穆萨（Yusuf Moosa Motara）

类型化函数编程的高级建模。 （英语） Zbl 1490.68075号

Zsók，Viktória（编辑）等人，《函数编程的趋势》。第22届国际研讨会，TFP 2021，虚拟活动，2021年2月17日至19日。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。12834, 69-94 (2021).
MSC公司：68甲18
PDF格式BibTeX公司 XML格式引用
\textit{Y.M.Motara}，莱克特。注释计算。科学。12834、69-94（2021年；Zbl 1490.68075）
全文： 内政部
伊格纳西奥·卡索;JoséF·莫拉莱斯。;López-García，P。;曼努埃尔五世（Manuel V.Hermenegildo）。

测试你的（静态分析）真理。 （英语） Zbl 07496652号

Fernández，Maribel（编辑），基于逻辑的程序合成和转换。第30届国际研讨会，2020年LOPSTR，意大利博洛尼亚，2020年9月7日至9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12561, 271-292 (2021).
MSC公司：68纳米30
PDF格式BibTeX公司 XML格式引用
\textit｛I.Casso｝等人，Lect。注释计算。科学。12561、271--292（2021；Zbl 07496652）
全文： 内政部 链接
曼弗雷德·施密特·沙乌;尤努斯·库茨

与letrec和环境变量的名义统一。 （英语） Zbl 07496643号

Fernández，Maribel（编辑），基于逻辑的程序合成和转换。第30届国际研讨会，2020年LOPSTR，意大利博洛尼亚，2020年9月7日至9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12561, 95-112 (2021).
MSC公司：68纳米30
PDF格式BibTeX公司 XML格式引用
\textit{M.Schmidt-Schauß}和\textit{Y.Kutz}，莱克特。注释计算。科学。12561，95-112（2021；Zbl 07496643）
全文： 内政部
约阿希姆·布雷特纳;Spector-Zabusky，安塔尔;李、姚;克里斯汀·里兹卡拉;约翰·威格利;乔舒亚·科恩;斯蒂芬妮·威里奇

准备，设置，验证！将hs-to-coq应用于真实的Haskell代码。 （英语） Zbl 1522.68121号

J.功能。程序。 31，论文编号e5，41 p.（2021）.
MSC公司：68甲18 60年第68季度 第68卷第15页
PDF格式BibTeX公司 XML格式引用
\textit{J.Breitner}等人，J.Funct。程序。31，论文编号e5，41 p.（2021；Zbl 1522.68121）
全文： 内政部 arXiv公司
唐纳德·桑内拉;迈克尔·福曼;彭浩然;菲利普·沃德勒

计算入门。哈斯克尔，逻辑和自动机。 （英语） Zbl 1497.68005号

计算机科学本科专题查姆：施普林格（ISBN 978-3-030-76907-9/pbk；978-3-0.30-76908-6/电子书）。十六、366页。(2021).
审核人：迪特尔·里贝塞尔（吕内堡）
MSC公司：68-01 03-01 03B70号 68甲15 68甲18 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Sannella}等人，《计算导论》。哈斯克尔，逻辑和自动机。查姆：施普林格（2021；Zbl 1497.68005）
全文： 内政部
罗伊娜·佩吉特;马克·威尔顿

对称函数的完备与（mathrm）的表示｛SL｝2（\mathbf{C}）\）。 （英语） Zbl 1466.05222号

阿尔盖布。梳子。 第4期，第1期，27-68页（2021年）.
审核人：皮埃尔·卢伊斯·蒙塔加德（蒙彼利埃）
MSC公司：2010年5月 05年5月5日 20立方 22E46型 22第47页
PDF格式BibTeX公司 XML格式引用
\textit｛R.Paget｝和\textit｛M.Wildon｝，代数。梳子。4，编号1，27--68（2021；Zbl 1466.05222）
全文： 内政部 arXiv公司

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前3名

主字段

全部的 前3名

软件