×

找到855个文档（结果1–100）

最新的 引文 关联
吕贝尔斯、马特

与类的深度嵌入。 （英语） 兹比尔1528.68069

Swierstra，Wouter（编辑）等人，《函数编程趋势》。第23届国际研讨会，TFP 2022，虚拟活动，2022年3月17日至18日。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。13401, 39-58 (2023).
MSC公司：68甲18 68甲15
PDF格式BibTeX公司 XML格式引用
\textit{M.吕贝尔斯}，莱克特。注释计算。科学。13401，39-58（2023；Zbl 1528.68069）
全文： 内政部
杨志轩;马尔科·帕维奥蒂;尼古拉斯·吴;范登伯格，比尔特;汤姆·施里杰弗斯

范围效应的结构化处理。 （英语） Zbl 1528.68088号

谢尔盖，伊利亚（编辑），《编程语言和系统》。2022年4月2日至7日，在德国慕尼黑举行的第31届欧洲编程研讨会ESOP 2022，作为欧洲软件理论与实践联合会议ETAPS 2022的一部分。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13240, 462-491 (2022).
MSC公司：68号30 18 C50 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{Z.Yang}等人，Lect。注释计算。科学。13240、462--491（2022；Zbl 1528.68088）
全文： 内政部 arXiv公司
丹尼尔·马歇尔;迈克尔·沃尔默;多米尼克·乌节

线性和独特性：一份友好的协议。 （英语） Zbl 1528.68084号

谢尔盖，伊利亚（编辑），《编程语言和系统》。2022年4月2日至7日，在德国慕尼黑举行的第31届欧洲编程研讨会ESOP 2022，作为欧洲软件理论与实践联合会议ETAPS 2022的一部分。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13240，346-375（2022）。
MSC公司：68号30 03B70号 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{D.Marshall}等人，Lect。注释计算。科学。13240346--375（2022年；Zbl 1528.68084）
全文： 内政部
Ryoya Mukai;直纪小林;佐藤隆介

用于自动程序验证的参数化递归优化类型。 （英语） Zbl 1524.68100号

Singh，Gagandeep（编辑）等人，《静态分析》。第29届国际研讨会，SAS 2022，新西兰奥克兰，2022年12月5-7日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13790, 397-421 (2022).
MSC公司：68号30 第68季度第60季度 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{R.Mukai}等人，Lect。注释计算。科学。13790397——421（2022年；兹比尔1524.68100）
全文： 内政部
杨志轩;尼古拉斯·吴

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

Komendantskaya，叶卡捷琳娜（编辑），程序构建的数学。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公司
马可·曼托瓦尼;阿尔贝托·莫米利亚诺

面向基于子结构特性的测试。 （英语） Zbl 1521.68035号

De Angelis，Emanuele（编辑）等，基于逻辑的程序合成和转换。第31届国际研讨会，2021年9月7日至8日，爱沙尼亚塔林，LOPSTR 2021。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13290，92-112（2022）。
MSC公司：68号30 03B47号 68甲15 68问题55 68瓦20
PDF格式BibTeX公司 XML格式引用
\textit{M.Mantovani}和\textit{A.Momigliano}，莱克特。注释计算。科学。13290，92-112（2022；Zbl 1521.68035）
全文： 内政部 arXiv公司 链接
米查·索坎斯基;多罗塔·莱斯琴斯卡·贾西翁;希蒙·克莱博夫斯基;阿加塔·托姆奇克;马钦·朱基维茨

合成表格：最小表格搜索启发式。 （英语） Zbl 07628201号

Blanchette，Jasmin（编辑）等人，《自动推理》。第十一届国际联合会议，2022年8月8日至10日，以色列海法，IJCAR 2022。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13385, 407-425 (2022).
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{M.Sochaánski}等人，Lect。注释计算。科学。13385，407--425（2022；Zbl 07628201）
全文： 内政部
范登伯格，比尔特;汤姆·施里杰弗斯

概率规划与可能世界的函数描述。宣告珍珠。 （英语） Zbl 07570121号

Hanus，Michael（编辑）等人，《函数和逻辑编程》。第16届国际研讨会，FLOPS 2022，日本京都，2022年5月10日至12日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13215, 186-204 (2022).
MSC公司：68N17号 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{B.van den Berg}和\textit{T.Schrijvers}，莱克特。注释计算。科学。13215，186--204（2022；Zbl 07570121）
全文： 内政部
何塞·努诺·马塞多;马科斯·维埃拉;乔昂·萨拉瓦

压缩策略和属性语法。 （英语） Zbl 07570117号

Hanus，Michael（编辑）等人，《函数和逻辑编程》。第16届国际研讨会，FLOPS 2022，日本京都，2022年5月10日至12日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13215, 112-132 (2022).
MSC公司：68N17号 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{J.Nuno Macedo}等人，Lect。注释计算。科学。13215、112-132（2022；Zbl 07570117）
全文： 内政部 arXiv公司 链接
Jacco O.G.Krijnen。;Manuel M.T.查克拉瓦蒂。;加布里埃尔·凯勒;沃特·斯威斯特拉

智能合同的翻译认证。 （英语） Zbl 07570116号

Hanus，Michael（编辑）等人，《函数和逻辑编程》。第16届国际研讨会，FLOPS 2022，日本京都，2022年5月10日至12日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13215, 94-111 (2022).
MSC公司：68N17号 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{J.O.G.Krijnen}等人，莱克特。注释计算。科学。13215，94-111（2022；Zbl 07570116）
全文： 内政部 arXiv公司
马丁·苏尔兹曼;斯特凡·韦尔

Featherweight Go的字典式翻译。 （英语） 兹比尔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公司
凯特琳·达布雷拉;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·莫拉莱斯。;洛佩斯·加西亚。;曼努埃尔五世（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｝，Lect。注释计算。科学。12561，95-112（2021；Zbl 07496643）
全文： 内政部
唐纳德·桑内拉;迈克尔·福曼;彭浩然;菲利普·瓦德勒

计算入门。哈斯克尔，逻辑和自动机。 （英语） 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；兹比尔1497.68005）
全文： 内政部
阿纳斯塔西亚·克拉夫丘克·基里柳克;安托万·沃伊扎德;斯蒂芬妮·威里奇

\依赖于核的Haskell中的（eta）-等价。 （英语） Zbl 07756112号

Marc Bezem等人，第25届国际校样和程序类型会议。2019年6月11日至14日，挪威奥斯陆。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。175，第7条，第31页（2020年）。
MSC公司：03B70号 68号30
PDF格式BibTeX公司 XML格式引用
\textit{A.Kravchuk-Kirilyuk}等人，LIPIcs——莱布尼茨国际程序。通知。175，第7条，第31页（2020；Zbl 07756112）
全文： 内政部
约翰·托曼;任思奇;Kohei Suenaga公司;Atsushi Igarashi;直纪小林

ConSORT：命令式程序的上下文和流敏感所有权细化类型。 （英语） Zbl 1508.68079号

Müller，Peter（编辑），《编程语言和系统》。2020年4月25日至30日在爱尔兰都柏林举行的第29届欧洲编程研讨会（ESOP 2020），是欧洲软件理论与实践联合会议（ETAPS 2020）的一部分。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12075, 684-714 (2020).
MSC公司：68号30 68甲18 第68季度第60季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Toman}等人，Lect。注释计算。科学。12075、684--714（2020年；Zbl 1508.68079）
全文： 内政部 arXiv公司
费边·索兰德;尤里安·黑格

高级注释多态依赖性分析。 （英语） Zbl 1508.68042号

Müller，Peter（编辑），《编程语言和系统》。2020年4月25日至30日在爱尔兰都柏林举行的第29届欧洲编程研讨会（ESOP 2020），是欧洲软件理论与实践联合会议（ETAPS 2020）的一部分。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12075, 656-683 (2020).
MSC公司：68甲18
PDF格式BibTeX公司 XML格式引用
\textit{F.Thorand}和\textit{J.Hage}，莱克特。注释计算。科学。12075、656--683（2020年；Zbl 1508.68042）
全文： 内政部
康斯坦蒂诺斯·马穆拉斯

确定性数据流和流处理的语义基础。 （英语） Zbl 1508.68069号

Müller，Peter（编辑），《编程语言和系统》。2020年4月25日至30日在爱尔兰都柏林举行的第29届欧洲编程研讨会（ESOP 2020），是欧洲软件理论与实践联合会议（ETAPS 2020）的一部分。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12075, 394-427 (2020).
MSC公司：68号30 2010年第68季度 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{K.Mamouras}，莱克特。注释计算。科学。12075、394--427（2020年；Zbl 1508.68069）
全文： 内政部
伊莎贝尔·加西亚·孔特雷拉斯;何塞·莫拉莱斯（Jose F.Morales）。;曼努埃尔五世（Manuel V.Hermenegildo）。

使用断言和开放谓词对逻辑程序进行增量分析。 （英语） 兹比尔1502.68065

Gabbrielli，Maurizio（编辑），基于逻辑的程序合成和转换。2019年10月8日至10日，第29届国际研讨会，2019年LOPSTR，葡萄牙波尔图。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。12042, 36-56 (2020).
MSC公司：68N17号 第68季度第60季度
PDF格式BibTeX公司 XML格式引用
\textit{I.Garcia-Contreras}等人，Lect。注释计算。科学。12042，36-56（2020；Zbl 1502.68065）
全文： 内政部 链接
保罗·塔劳;瓦莱里亚·德·佩瓦

宣告性地导出蕴涵线性逻辑中的定理。 （英语） Zbl 07455712号

Ricca，Francesco（ed.）等人，《第36届逻辑编程（技术通信）国际会议论文集》，ICLP 2020，UNICAL，Rende（CS），意大利，2020年9月18日至24日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）325110-123（2020）。
MSC公司：68N17号
PDF格式BibTeX公司 XML格式引用
\textit{P.Tarau}和\textit{V.de Paiva}，电子。程序。西奥。计算。科学。（EPTCS）325110--123（2020；Zbl 07455712）
全文： arXiv公司 链接
法布里奇奥·基诺维塞;亚历克斯·格里兹洛夫;杰勒·赫罗尔德;安德烈·克尼斯佩尔;马可·佩隆;埃里克·波斯特;安德烈·维德拉

伊德里斯·科特：一个在Idris中进行范畴理论的图书馆。 （英语） Zbl 07453982号

Baez，John（ed.）等人，《2019年应用范畴理论学报》，ACT 2019，英国牛津大学，2019年7月15日至19日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）323246-254（2020年）。
MSC公司：68倍 2018年XX月18日
PDF格式BibTeX公司 XML格式引用
\textit{F.Genovese}等人，《电子》。程序。西奥。计算。科学。（EPTCS）323246-254（2020；Zbl 07453982）
全文： arXiv公司 链接
迈卡，暂停;克莉丝汀·赫利希;詹姆斯·费尔班克斯

科学模型增强的合成框架。 （英语） 兹布尔07453978

Baez，John（ed.）等人，《2019年应用范畴理论学报》，ACT 2019，英国牛津大学，2019年7月15日至19日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）323172-182（2020）。
MSC公司：68倍 2018年XX月18日
PDF格式BibTeX公司 XML格式引用
\textit{M.Halter}等人，《电子》。程序。西奥。计算。科学。（EPTCS）323172--182（2020；Zbl 07453978）
全文： arXiv公司 链接
G.W.汉密尔顿。

提取程序以证明终止。 （英语） Zbl 07453196号

Fribourg，Laurent（ed.）等人，第八届核查与程序转换国际研讨会和第七届霍恩条款核查与合成研讨会会议记录，VPT/HCVS 2020，爱尔兰都柏林，2020年4月25日至26日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）320、140-154（2020）。
MSC公司：68号30 第68季度第60季度
PDF格式BibTeX公司 XML格式引用
\textit{G.W.Hamilton}，电子。程序。西奥。计算。科学。（EPTCS）320、140--154（2020；Zbl 07453196）
全文： arXiv公司 链接
马丁·塞雷萨;费利佩·戈罗斯蒂亚加;塞萨尔·桑切斯

声明流运行时验证（hLola）。 （英语） Zbl 1476.68145号

Oliveira，Bruno C.d.S.（编辑），《编程语言和系统》。2020年11月30日至12月2日，日本福冈，APLAS 2020第18届亚洲研讨会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12470, 25-43 (2020).
MSC公司：第68季度第60季度 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{M.Ceresa}等人，Lect。注释计算。科学。12470，25-43（2020年；兹比尔1476.68145）
全文： 内政部 arXiv公司
谢尔盖·冈查洛夫;内维斯、雷纳托;何塞·普伦萨

实现混合语义：从功能到命令。 （英语） Zbl 07369993号

Pun，Violet Ka I.（编辑）等人，《计算的理论方面——ICTAC 2020》。第17届国际学术讨论会，中国澳门，2020年11月30日至12月4日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12545, 262-282 (2020).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{S.Goncharov}等人，Lect。注释计算。科学。12545，262--282（2020；Zbl 07369993）
全文： 内政部 arXiv公司
奥利弗·韦斯特法尔;贾尼斯·沃格特兰德

实施并检查电子学习中使用的DSL。 （英语） Zbl 07368091号

Nakano，Keisuke（编辑）等人，《功能和逻辑编程》。第十五届国际研讨会，FLOPS 2020，日本秋田，2020年9月14-16日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12073, 179-197 (2020).
MSC公司：68N17号 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{O.Westphal}和\textit{J.Voigtländer}，莱克特。注释计算。科学。12073、179--197（2020；Zbl 07368091）
全文： 内政部
塞西莉亚·曼齐诺;阿尔贝托·帕尔多

Agda形式化了从流敏感安全类型到流不敏感安全类型的安全保护转换。 （英语） Zbl 07313966号

Nalon，Cláudia（编辑）等人，《逻辑和语义框架及其应用第15届国际研讨会论文集》，LSFA 2020，虚拟研讨会，2020年8月27日至28日。阿姆斯特丹：爱思唯尔。电子。注释Theor。计算。科学。351, 75-94 (2020).
MSC公司：68倍
PDF格式BibTeX公司 XML格式引用
\textit{C.Manzino}和\textit{A.Pardo}，电子。注释Theor。计算。科学。351、75-94（2020；Zbl 07313966）
全文： 内政部
雅克·卡雷特;Farmer，William M。;亚斯敏·沙罗达

利用理论陈述中包含的信息。 （英语） Zbl 1455.68255号

Benzmüller，Christoph（编辑）等人，《智能计算机数学》。第十三届国际会议，CICM 2020，意大利贝蒂诺罗，2020年7月26-31日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12236, 55-70 (2020).
MSC公司：68V20型 08A70型 68伏30
PDF格式BibTeX公司 XML格式引用
\textit{J.Carette}等人，Lect。注释计算。科学。12236，55-70（2020；Zbl 1455.68255）
全文： 内政部 arXiv公司
S.D.梅什韦利亚尼。

关于GCD域上分数运算的机器检查证明。 （英语。俄文原件） Zbl 1455.68249号

程序。计算。柔和。 46，第2期，110-119（2020年）; 译自Programmirovanie 46，No.2，43-52（2020）。
MSC公司：68伏15 11-04 1999年11月 68V20型
PDF格式BibTeX公司 XML格式引用
\textit{S.D.Meshveliani}，程序。计算。柔和。46，第2号，110-119（2020；Zbl 1455.68249）；译自Programmirovanie 46，No.2，43-52（2020）
全文： 内政部
杰克·J·加泽拉。;马雷克·巴拉诺夫斯基;何绍波;茨沃尼米尔·拉卡马里奇

利用编译器中间表示进行多语言和跨语言验证。 （英语） Zbl 1451.68071号

Beyer，Dirk（编辑）等人，《验证、模型检查和抽象解释》。第21届国际会议，VMCAI 2020，美国洛杉矶新奥尔良，2020年1月16-21日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11990, 90-111 (2020).
MSC公司：68N20型 68甲15 第68季度第60季度
PDF格式BibTeX公司 XML格式引用
\textit｛J.J.Garzella｝等人，Lect。注释计算。科学。11990，90-111（2020；Zbl 1451.68071）
全文： 内政部
福克特·德·弗里斯;佩雷斯（Jorge A.Pérez）。

Haskell中基于会话的可逆并发。 （英语） Zbl 1525.68015号

Pałka，Micha \322；（编辑）等人，《函数编程趋势》。2018年6月11-13日在瑞典哥德堡举行的2018年TFP第19届国际研讨会。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。11457, 20-45 (2019).
MSC公司：68甲18 68甲15 第68页第19页
PDF格式BibTeX公司 XML格式引用
\textit{F.de Vries}和\textit{J.A.Pérez}，莱克特。注释计算。科学。11457，20--45（2019；Zbl 1525.68015）
全文： 内政部 链接
保罗·塔劳;Wielemaker，简;汤姆·施里杰弗斯

序言中的懒惰流编程。 （英语） Zbl 07453116号

Bogaerts，Bart（ed.）等人，《第35届逻辑编程（技术通信）国际会议论文集》，2019年ICLP，美国拉斯克鲁塞斯，2019月20日至25日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）306224-237（2019）。
MSC公司：68N17号
PDF格式BibTeX公司 XML格式引用
\textit{P.Tarau}等人，《电子》。程序。西奥。计算。科学。（EPTCS）306224--237（2019；Zbl 07453116）
全文： arXiv公司 链接
塞萨尔·桑切斯;杰拉尔多·施奈德;沃尔夫冈·阿伦特;埃齐奥·巴托西;多梅尼科·比安库里;克里斯蒂安·科伦坡;伊利耶斯·法尔科内;阿德里安·弗兰卡兰扎;Sr Djan Krstić;Lourenço，Joáo M。;德扬·尼科维奇;戈登·佩斯。;何塞·鲁菲诺;辛戈尔斯，朱利安;德米特里·特拉泰尔;亚历山大·韦斯

高级应用程序域（软件以外）的运行时验证挑战调查。 （英语） 兹比尔1425.68268

形式方法系统。设计。 54，第3号，279-335（2019）.
MSC公司：第68季度第60季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Sánchez}等人，《形式方法系统》。设计。54，第3号，279--335（2019；Zbl 1425.68268）
全文： 内政部 arXiv公司
加布里埃尔·乔巴努;埃妮娅·尼古拉·托多拉

尖峰神经P系统的语义研究。 （英语） Zbl 1522.68208号

Hinze，Thomas（编辑）等人，《膜计算》。2018年9月4-7日在德国德累斯顿举行的CMC 2018第19届国际会议。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。11399, 108-130 (2019).
MSC公司：2007年第68季度 68甲18 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{G.Ciobanu}和\textit{E.N.Todoran}，莱克特。注释计算。科学。11399，108-130（2019；Zbl 1522.68208）
全文： 内政部
何塞·迪瓦松;杰苏斯·阿兰塞

一般情况下Hermite范式计算的形式证明。 （英语） Zbl 1515.68350号

Fleuriot，Jacques（编辑）等人，《人工智能和符号计算》。2018年9月16日至19日在中国苏州举行的第十三届AISC国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11110, 37-53 (2018).
MSC公司：68V20型 15A21号机组 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{J.Divasón}和\textit{J.Aransay}，莱克特。注释计算。科学。11110，37-53（2018；Zbl 1515.68350）
全文： 内政部
安布罗斯·卡波西;科瓦奇，安德拉斯

高级归纳归纳类型的语法。 （英语） Zbl 1462.68022号

Kirchner，Hélène（编辑），第三届计算和扣除正式结构国际会议，2018年7月9日至12日，英国牛津FSCD。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。108，第20条，第18页（2018年）。
MSC公司：68甲18 03B38型 55单位35
PDF格式BibTeX公司 XML格式引用
\textit{A.Kaposi}和\textit{A.Kovács}，LIPIcs--Leibniz Int.Proc。通知。108，第20条，第18页（2018；Zbl 1462.68022）
全文： 内政部
马西耶·本德考斯基;皮埃尔·莱斯坎

计算环境和闭包数。 （英语） Zbl 1462.68020号

Kirchner，Hélène（编辑），第三届计算和扣除正式结构国际会议，2018年7月9日至12日，英国牛津FSCD。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。108，第11条，第16页（2018年）。
MSC公司：68甲18 03B40型 68卢比
PDF格式BibTeX公司 XML格式引用
\textit{M.Bendkowski}和\textit{P.Lescanne}，LIPIcs——莱布尼茨国际程序。通知。108，第11条，第16页（2018；兹bl 1462.68020）
全文： 内政部
马西耶·皮罗格;汤姆·施里杰弗斯;尼古拉斯·吴;毛罗·贾斯克利奥夫

作用域操作的语法和语义。 （英语） Zbl 1497.68120号

2018年第33届ACM/IEEE计算机科学逻辑研讨会论文集，2018年7月9日至12日，英国牛津，LICS 2018。纽约州纽约市：计算机协会（ACM）。809-818 (2018).
MSC公司：68号30 18立方厘米 68甲18 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{M.Piróg}等人，in：2018年第33届ACM/IEEE计算机科学逻辑研讨会论文集，2018年LICS，英国牛津，2018年7月9日至12日。纽约州纽约市：计算机协会（ACM）。809--818（2018；Zbl 1497.68120）
全文： 内政部 链接
克里斯托夫·贝尔;史蒂文·库奇;加布里埃尔·克恩·伊斯伯纳

从非单调推理中的概念到使用抽象状态机和函数编程的高级实现。 （英语） Zbl 1446.68151号

Mashkoor，Atif（编辑）等人，《模型：概念、理论、逻辑、推理和语义》。在克劳斯·迪特尔·斯奎60岁生日之际，为他撰写的论文。伦敦：学院出版物。致敬34，288-309（2018）。
MSC公司：68立方英尺 68甲18 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{C.Beierle}等人，《致敬》34，288--309（2018；Zbl 1446.68151）
拉尔斯·胡佩尔;托比亚斯·尼普科

Isabelle/HOL到CakeML的经过验证的编译器。 （英语） Zbl 1418.68045号

阿马尔·艾哈迈德（编辑），《编程语言和系统》。2018年4月14日至20日在希腊塞萨洛尼基举行的第27届欧洲编程研讨会（ESOP 2018），作为欧洲软件理论与实践联合会议的一部分。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10801, 999-1026 (2018).
MSC公司：68N20型 68甲18 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{L.Hupel}和\textit{T.Nipkow}，莱克特。注释计算。科学。10801999-1026（2018；Zbl 1418.68045）
全文： 内政部
石井裕美

嵌入Haskell中的纯功能计算机代数系统。 （英语） Zbl 1453.68036号

Gerdt，Vladimir P.（编辑）等人，《科学计算中的计算机代数》。2018年9月17日至21日，法国里尔，中国社会科学院2018年第20届国际研讨会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11077, 288-303 (2018).
MSC公司：68甲18 68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{H.Ishii}，莱克特。注释计算。科学。11077，288--303（2018；Zbl 1453.68036）
全文： 内政部 arXiv公司
赵金旭;布鲁诺·C·d·S·奥利维拉。;汤姆·施里杰弗斯

多态子类型算法的形式化。 （英语） Zbl 1511.68059号

Avigad，Jeremy（编辑）等，交互式定理证明。2018年7月9日至12日在英国牛津举行的2018年第九届国际会议ITP，作为联邦逻辑会议的一部分。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10895, 604-622 (2018).
MSC公司：68甲18 68V20型
PDF格式BibTeX公司 XML格式引用
\textit｛J.Zhao｝等人，Lect。注释计算。科学。10895、604--622（2018；Zbl 1511.68059）
全文： 内政部 链接
弗洛尔·若昂·保罗·皮扎尼;沃特·斯威斯特拉;尤里克·西斯林

\（\Pi\）-Ware：Agda中的硬件描述和验证。 （英语） Zbl 1433.68081号

Uustalu，Tarmo（编辑），第21届国际校样和程序类型会议，2015年5月18日至21日，爱沙尼亚塔林。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。69，第9条，第27页（2018年）。
MSC公司：68甲15 68甲18 94C11号机组
PDF格式BibTeX公司 XML格式引用
\textit｛F.J.P.Pizani｝等人，LIPIcs——莱布尼茨国际期刊。通知。69，第9条，27 p.（2018；Zbl 1433.68081）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

传记参考

全部的 前3名

软件