×

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

最新的 引文 关联
马塞洛·菲奥雷;菲利普·萨维尔

列出具有代数结构的对象。 （英语） Zbl 1441.68016号

Miller，Dale（编辑），第二届计算和演绎形式结构国际会议。FSCD 2017，英国牛津，2017年9月3-9日。诉讼程序。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。84，第16条，第18页（2017年）。
MSC公司：68甲18 68号30 68问题55
PDF格式BibTeX公司 XML格式引用
\textit｛M.Fiore｝和\textit｛P.Saville｝，LIPIcs——莱布尼茨国际期刊。通知。84，第16条，第18页（2017；Zbl 1441.68016）
全文： 内政部
约书亚·莫尔曼;马蒂奥·桑马蒂诺;亚历山德拉·席尔瓦;巴托克·克林;Micha Szynwelski

学习名义自动机。 （英语） Zbl 1380.68243号

Castagna，Giuseppe（编辑）等人，第44届ACM SIGPLAN编程语言原则年度研讨会论文集，POPL’17，法国巴黎，2017年1月15日至21日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-4660-3）。613-625 (2017).
MSC公司：第68季度32 68甲18 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Moerman}等人，in：第44届ACM SIGPLAN编程语言原理年度研讨会论文集，POPL’17，法国巴黎，2017年1月15-21日。纽约州纽约市：计算机协会（ACM）。613--625（2017年；Zbl 1380.68243）
全文： 内政部 arXiv公司
丹尼尔·艾哈曼;Hriţcu，科特林;肯吉·梅拉德;吉多·马丁内斯;戈登·普洛金;乔纳森·普罗琴科;阿西姆·拉斯托吉;尼基尔·斯瓦米

Dijkstra monads是免费的。 （英语） Zbl 1380.68266号

Castagna，Giuseppe（编辑）等人，第44届ACM SIGPLAN编程语言原则年度研讨会论文集，POPL’17，法国巴黎，2017年1月15日至21日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-4660-3）。515-529 (2017).
MSC公司：60年第68季度 68号30 68问题55 第68页第15页
PDF格式BibTeX公司 XML格式引用
\textit｛D.Ahman｝等人，在：第44届ACM SIGPLAN编程语言原理年度研讨会论文集，POPL’17，法国巴黎，2017年1月15日至21日。纽约州纽约市：计算机协会（ACM）。515--529（2017；Zbl 1380.68266）
全文： 内政部 arXiv公司
弗兰蒂舍克·法尔卡;叶卡捷琳娜·科门丹茨卡亚;凯文·哈蒙德

共同草书类型类解析的共同可靠性。 （英语） Zbl 1485.68041号

Hermenegildo，Manuel V.（编辑）等，基于逻辑的程序合成和转换。2016年9月6日至8日在英国爱丁堡举行的2016年LOPSTR第26届国际研讨会。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。10184, 311-327 (2017).
MSC公司：68甲18 03B70号 68N17号
PDF格式BibTeX公司 XML格式引用
\textit{F.Farka}等人，Lect。注释计算。科学。10184、311--327（2017；Zbl 1485.68041）
全文： 内政部 arXiv公司
艾尔维拉·阿尔伯特;尼古拉斯·贝齐吉安尼斯;法兰克·德波尔;恩里克·马丁·马汀

演员到Haskell的正式、保留资源消耗的翻译。 （英语） 兹比尔1485.68049

Hermenegildo，Manuel V.（编辑）等，基于逻辑的程序合成和转换。2016年9月6日至8日在英国爱丁堡举行的2016年LOPSTR第26届国际研讨会。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。10184, 21-37 (2017).
MSC公司：68号30 68甲18 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{E.Albert}等人，Lect。注释计算。科学。10184，21-37（2017；Zbl 1485.68049）
全文： 内政部 arXiv公司
克里斯蒂安·斯特纳格尔;托马斯·斯特纳格尔

证明拟递减强确定性条件项重写系统的合流性。 （英语） Zbl 1494.68306号

de Moura，Leonardo（编辑），自动扣除-CADE 26。2017年8月6日至11日在瑞典哥德堡举行的第26届自动扣减国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10395, 413-431 (2017).
MSC公司：68V20型 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Sternagel}和\textit{T.Sternagel}，Lect。注释计算。科学。10395、413--431（2017年；Zbl 1494.68306）
全文： 内政部
吉尔根·吉斯尔;科尼利厄斯·阿斯切尔曼;马克·布罗克施米特;费边·埃姆斯;弗洛里安·弗洛恩;卡斯滕·福斯;赫塞尔，杰拉;卡斯滕·奥托;马丁·普吕克;彼得·施奈德·坎普;托马斯·斯特罗德;斯蒂芬妮·斯威德斯基;雷内·蒂曼

使用自动分析程序终止和复杂性AProVE公司. （英语） Zbl 1409.68255号

J.汽车。推理 58，编号1，3-31（2017）.
MSC公司：第68页第15页 68甲15 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Giesl}等人，J.Autom。推理58，No.1，3--31（2017；Zbl 1409.68255）
全文： 内政部
托拜厄斯·赫尔姆斯;汤姆·沃克;卡斯滕·莫斯;阿德琳德·M·乌尔马赫。

表达型多级建模语言的语义和高效仿真算法。 （英语） Zbl 1369.93068号

ACM事务处理。模型。计算。模拟。 27，第2号，第8条，第25页（2017年）.
MSC公司：93A30型 92立方37 92立方厘米 第92页第45页
PDF格式BibTeX公司 XML格式引用
\textit{T.Helms}等人，ACM Trans。模型。计算。模拟。27，第2号，第8条，第25页（2017年；Zbl 1369.93068）
全文： 内政部
佐藤隆介;小林直树

高阶功能程序的模块化验证。 （英语） Zbl 1485.68043号

Yang，Hongseok（编辑），《编程语言和系统》。2017年4月22日至29日在瑞典乌普萨拉举行的第26届欧洲编程研讨会（ESOP 2017），是欧洲软件理论与实践联合会议（ETAPS 2017）的一部分。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。10201, 831-854 (2017).
MSC公司：68甲18 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.佐藤}和\textit{N.小林}，莱克特。注释计算。科学。10201831--854（2017；Zbl 1485.68043）
全文： 内政部
卢卡·帕多瓦尼

无上下文会话类型推断。 （英语） Zbl 1485.68072号

Yang，Hongseok（编辑），《编程语言与系统》。2017年4月22日至29日在瑞典乌普萨拉举行的第26届欧洲编程研讨会（ESOP 2017），是欧洲软件理论与实践联合会议（ETAPS 2017）的一部分。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。10201, 804-830 (2017).
MSC公司：68号30 68甲15 68甲18 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{L.Padovani}，莱克特。注释计算。科学。10201、804--830（2017；Zbl 1485.68072）
全文： 内政部 哈尔
马丁·伦伯格;拉尔夫·拉梅尔;斯特芬·斯塔布

语义数据函数编程的本质。 （英语） Zbl 1485.68042号

Yang，Hongseok（编辑），《编程语言和系统》。2017年4月22日至29日在瑞典乌普萨拉举行的第26届欧洲编程研讨会（ESOP 2017），是欧洲软件理论与实践联合会议（ETAPS 2017）的一部分。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。10201, 750-776 (2017).
MSC公司：68甲18 03B40型 第68页第27页
PDF格式BibTeX公司 XML格式引用
\textit{M.Leinberger}等人，Lect。注释计算。科学。10201、750——776（2017；Zbl 1485.68042）
全文： 内政部 链接
阿玛·盖诺;玛格努斯·奥·米林。;库马尔，拉马纳;迈克尔·诺里什

验证CakeML的特征公式。 （英语） Zbl 1485.68030号

Yang，Hongseok（编辑），《编程语言和系统》。2017年4月22日至29日在瑞典乌普萨拉举行的第26届欧洲编程研讨会（ESOP 2017），是欧洲软件理论与实践联合会议（ETAPS 2017）的一部分。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。10201, 584-610 (2017).
MSC公司：68甲15 68甲18 68号30
PDF格式BibTeX公司 XML格式引用
\textit{A.Guéneau}等人，Lect。注释计算。科学。10201、584--610（2017；Zbl 1485.68030）
全文： 内政部
杰里米·吉本斯

使用Naperian函子的应用程序设计。 （英语） Zbl 1485.68066号

Yang，Hongseok（编辑），《编程语言和系统》。2017年4月22日至29日在瑞典乌普萨拉举行的第26届欧洲编程研讨会（ESOP 2017），是欧洲软件理论与实践联合会议（ETAPS 2017）的一部分。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。10201, 556-583 (2017).
MSC公司：68号30 68甲15 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{J.Gibbons}，莱克特。注释计算。科学。10201、556--583（2017；Zbl 1485.68066）
全文： 内政部 链接
弗朗西斯科·费雷拉;碧姬·品特卡

使用带有一级绑定器的语法的程序。 （英语） Zbl 1485.68064号

Yang，Hongseok（编辑），《编程语言与系统》。2017年4月22日至29日在瑞典乌普萨拉举行的第26届欧洲编程研讨会（ESOP 2017），是欧洲软件理论与实践联合会议（ETAPS 2017）的一部分。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。10201, 504-529 (2017).
MSC公司：68号30 68甲15 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{F.费雷拉}和\textit{B.Pientka}，莱克特。注释计算。科学。10201、504--529（2017；Zbl 1485.68064）
全文： 内政部
贾斯敏·克里斯蒂安·布兰切特;艾默里·布齐;安德烈亚斯·洛赫比勒;安德烈·波佩斯库;德米特里·特拉泰尔

有利益的朋友。在基础证明助手中实现同位语。 （英语） Zbl 1485.68280号

Yang，Hongseok（编辑），《编程语言和系统》。2017年4月22日至29日在瑞典乌普萨拉举行的第26届欧洲编程研讨会（ESOP 2017），是欧洲软件理论与实践联合会议（ETAPS 2017）的一部分。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。10201, 111-140 (2017).
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{J.C.Blanchette}等人，Lect。注释计算。科学。10201、111--140（2017；Zbl 1485.68280）
全文： 内政部
安德鲁·巴特菲尔德

UTPCalc–UTP谓词的计算器。 （英语） Zbl 1483.68072号

Bowen，Jonathan P.（编辑）等人，《统一编程理论》。第六届国际研讨会，UTP 2016，冰岛雷克雅未克，2016年6月4日至5日。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。10134, 197-216 (2017).
MSC公司：68号30 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{A.巴特菲尔德}，莱克特。注释计算。科学。10134，197--216（2017；Zbl 1483.68072）
全文： 内政部 链接

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前3名

主字段

全部的 前3名

软件