×

找到162个文档（结果1-100）

最新的 引文 关联
Damien Pous;朱里安·罗特;鲁本·图尔肯堡

通过因果转换实现企业安全。 （英语） Zbl 07628070号

Hansen，Helle Hvid（编辑）等，《计算机科学中的协同代数方法》。第16届IFIP工作组1.3国际研讨会，CMCS 2022，与ETAPS 2022共同举办，德国慕尼黑，2022年4月2日至3日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13225, 133-154 (2022).
理学硕士：68问题65
PDF格式BibTeX公司 XML格式引用
\textit{D.Pous}等人，Lect。注释计算。科学。13225、133--154（2022；Zbl 07628070）
全文： 内政部 哈尔
卢卡·西科内;卢卡·帕多瓦尼

具有corules的推理系统，用于二进制会话类型的组合安全性和活性属性。 （英语） Zbl 07596575号

日志。方法计算。科学。 18，第3号，第27号论文，第29页（2022年）.
理学硕士：03B70号 68倍
PDF格式BibTeX公司 XML格式引用
\textit｛L.Ciccone｝和\textit｛L.Padovani｝，日志。方法计算。科学。18，第3号，第27号论文，第29页（2022；Zbl 07596575）
全文： 内政部 arXiv公司
OA许可证
克莱门斯，抓斗手

Milner的正则表达式模双相似性证明系统的共推版本。 （英语） Zbl 07774242号

Gadducci，Fabio（编辑）等人，第九届计算机科学代数和余代数会议，CALCO 2021，奥地利萨尔茨堡，2021年8月31日至9月3日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。211，第16条，第23页（2021年）。
理学硕士：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{C.Grabmayer}，LIPIcs--莱布尼茨国际程序。通知。211，第16条，第23页（2021；Zbl 07774242）
全文： 内政部 arXiv公司
西蒙·福斯特;中基尔胡尔;吉姆·伍德科克

使用Isabelle/HOL中的交互树对状态丰富过程进行了形式验证的模拟。 （英语） Zbl 07730622号

Haddad，Serge（编辑）等人，第32届并发理论国际会议，CONCUR 20212021年8月24日至27日，虚拟会议。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。203，第20条，第18页（2021）。
理学硕士：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{S.Foster}等人，LIPIcs——莱布尼茨国际程序。通知。203，第20条，第18页（2021；Zbl 07730622）
全文： 内政部 arXiv公司
卢卡·西科内;弗朗西斯科·达尼诺;埃琳娜·祖卡

agda中的灵活共创。 （英语） Zbl 07699430号

Cohen，Liron（ed.）等人，第十二届交互式定理证明国际会议，ITP 2021，意大利罗马，虚拟会议，2021年6月29日至7月1日。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。193，第13条，第19页（2021年）。
理学硕士：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{L.Ciccone}等人，LIPIcs——莱布尼茨国际程序。通知。193，第13条，第19页（2021；Zbl 07699430）
全文： 内政部
亚历克斯·凯泽。;海宁·巴索尔德;佩雷斯（Jorge A.Pérez）。

会话联合：关于会话类型和通信协议的联合视图。 （英语） Zbl 1473.68114号

Yoshida，Nobuko（编辑），《编程语言和系统》。2021年3月27日至4月1日，作为欧洲软件理论与实践联合会议（ETAPS 2021）的一部分，在卢森堡卢森堡市举行了第30届欧洲编程研讨会（ESOP 2021）。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12648, 375-403 (2021).
理学硕士：68问题85 68问题65
PDF格式BibTeX公司 XML格式引用
\textit{A.C.Keizer}等人，Lect。注释计算。科学。12648375--403（2021；Zbl 1473.68114）
全文： 内政部 arXiv公司
OA许可证
叶卡捷琳娜·科门丹茨卡亚;德米特里·罗兹普洛哈斯;海宁·巴索尔德

新常态：我们不能消除合并结石的切口，但我们可以探索它们。 （英语） Zbl 1477.03241号

理论与实践。日志。程序。 20，第6号，990-1005（2020）.
理学硕士：05年3月
PDF格式BibTeX公司 XML格式引用
\textit｛E.Komendantskaya｝等人，《理论与实践》。日志。程序。20，第6号，990--1005（2020；Zbl 1477.03241）
全文： 内政部 arXiv公司
卡琳·阿尔蒂森;皮埃尔·科尔比诺;圣埃芬·德维斯梅斯

压缩流和自稳定算法的组成。 （英语） Zbl 1533.68398号

Pérez，Jorge A.（编辑）等人，分布式对象、组件和系统的形式化技术。2019年6月17日至21日，第39届IFIP WG 6.1国际会议FORTE 2019，作为第14届分布式计算技术国际联合会议DisCoTec 2019的一部分，在丹麦Kongens Lyngby举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11535, 21-38 (2019).
理学硕士：68宽15 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{K.Altisen}等人，Lect。注释计算。科学。11535，21-38（2019年；Zbl 1533.68398）
全文： 内政部 哈尔
海宁·巴索尔德;叶卡捷琳娜·科门丹茨卡亚;李，岳

统一归纳法：Horn子句同体证明搜索的基础。 （英语） Zbl 1524.68183号

Caires，Luís（编辑），《编程语言和系统》。第28届欧洲编程研讨会，ESOP 2019，作为欧洲软件理论和实践联席会议的一部分，ETAPS 2019，2019年4月6日至11日，捷克共和国布拉格。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11423, 783-813 (2019).
理学硕士：68问题55 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{H.Basold}等人，Lect。注释计算。科学。11423783--813（2019年；Zbl 1524.68183）
全文： 内政部 arXiv公司
OA许可证
卢卡斯·扎伊卡

科克的一级保护铸币。 （英语） Zbl 07649963号

Harrison，John（ed.）等人，第十届交互式定理证明国际会议，2019年9月9日至12日，美国俄勒冈州波特兰。会议记录。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。141，第14条，第18页（2019年）。
理学硕士：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{L.Czajka}，LIPIcs——莱布尼茨国际程序。通知。141，第14条，第18页（2019；Zbl 07649963）
全文： 内政部
海宁·巴索尔德

流动中的共聚：腓骨的后期形态。 （英语） Zbl 07649891号

Roggenbach，Markus（ed.）等人，第八届计算机科学中的代数和余代数会议，2019年CALCO，英国伦敦，2019月3日至6日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。139，第8条，第22页（2019）。
理学硕士：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{H.Basold}，LIPIcs——莱布尼茨国际程序。通知。139，第8条，第22页（2019年；Zbl 07649891）
全文： 内政部
Damien Pous

投稿：自动机、正式证明、同伴（特邀论文）。 （英语） Zbl 07649887号

Roggenbach，Markus（ed.）等人，第八届计算机科学中的代数和余代数会议，2019年CALCO，英国伦敦，2019月3日至6日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。139，第4条，第4页（2019年）。
理学硕士：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{D.Pous}，LIPIcs——莱布尼茨国际程序。通知。139，第4条，第4页（2019年；Zbl 07649887）
全文： 内政部
皮埃尔小瓶

遗传置换子的序列类型。 （英语） Zbl 1528.03132号

Geuvers，Herman（编辑），第四届计算和扣除正式结构国际会议，2019年金融稳定与发展会议，德国多特蒙德，2019，6月24-30日。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。131，第33条，第15页（2019年）。
理学硕士：03B40型
PDF格式BibTeX公司 XML格式引用
\textit{P.小瓶}，LIPIcs——莱布尼茨国际程序。通知。131，第33条，第15页（2019年；Zbl 1528.03132）
全文： 内政部
尼科洛Veltri;范德维德，尼尔斯

在Agda中通过大小类型保护递归。 （英语） Zbl 1528.68071号

Geuvers，Herman（编辑），第四届计算和扣除正式结构国际会议，2019年金融稳定与发展会议，德国多特蒙德，2019，6月24-30日。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。131，第32条，第19页（2019年）。
理学硕士：68甲18
PDF格式BibTeX公司 XML格式引用
\textit{N.Veltri}和\textit{N.van der Weide}，LIPIcs——莱布尼茨国际程序。通知。131，第32条，第19页（2019年；Zbl 1528.68071）
全文： 内政部
Dariusz Biernacki;塞尔盖·伦格利特;彼得·波列修克

散漫的同伴。 （英语） Zbl 07515953号

Barbara König（编辑），第35届编程语义数学基础会议论文集，MFPS XXXV，英国伦敦，2019年6月4-7日。阿姆斯特丹：爱思唯尔。电子。注释Theor。计算。科学。347, 25-43 (2019).
理学硕士：68号30 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{D.Biernacki}等人，《电子》。注释Theor。计算。科学。347，25-43（2019；Zbl 07515953）
全文： 内政部
雷米·诺列特;亚历克西斯·索林;克里斯汀·塔森

PSPACE-具有最小和最大不动点的线性逻辑中循环证明的线程准则的完备性。 （英语） Zbl 1435.03088号

Cerrito，Serenella（编辑）等，《使用分析表和相关方法的自动推理》。第28届国际会议，2019年9月3日至5日，英国伦敦，TABLEAUX 2019。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11714, 317-334 (2019).
理学硕士：03楼52 07年3月 2017年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Nollet}等人，Lect。注释计算。科学。11714、317--334（2019年；Zbl 1435.03088）
全文： 内政部 哈尔
阿比舍克·德;亚历克西斯·索林

Infinets：没有充分依据的证明理论的并行语法。 （英语） Zbl 1468.03032号

Cerrito，Serenella（编辑）等，《使用分析表和相关方法的自动推理》。第28届国际会议，2019年9月3日至5日，英国伦敦，TABLEAUX 2019。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11714, 297-316 (2019).
理学硕士：03B70号 03楼52
PDF格式BibTeX公司 XML格式引用
\textit{A.De}和\textit{A.Saurin}，莱克特。注释计算。科学。11714、297--316（2019；Zbl 1468.03032）
全文： 内政部 哈尔
丹尼斯·库珀伯格;劳雷琳·皮诺;Damien Pous

Büchi自动机的共导算法。 （英语） Zbl 1497.68271号

Hofman，Piotrek（编辑）等人，《语言理论的发展》。第23届国际会议，DLT 2019，波兰华沙，2019年8月5-9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11647, 206-220 (2019).
理学硕士：第68季度第45季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Kuperberg}等人，Lect。注释计算。科学。11647、206-220（2019年；Zbl 1497.68271）
全文： 内政部 哈尔
雷米·诺列特;亚历克西斯·索林;克里斯汀·塔森

不动点线性逻辑循环证明的局部有效性。 （英语） Zbl 1528.03246号

Ghica，Dan R.（编辑）等人，第27届EACSL计算机科学逻辑年会，CSL 2018，英国伯明翰，2018年9月4-8日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。119，第35条，第23页（2018）。
理学硕士：03楼52 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Nollet}等人，LIPIcs——莱布尼茨国际程序。通知。119，第35条，第23页（2018；兹bl 1528.03246）
全文： 内政部
亚历杭德罗·阿吉雷;吉尔·巴特;贾斯汀·徐;亚历山德拉·席尔瓦

几乎可以肯定的生产力。 （英语） Zbl 1499.68198号

Chatzigiannakis，Ioannis（编辑）等人，第45届自动化、语言和编程国际研讨会。2018年ICALP，捷克共和国布拉格，2018年7月9日至13日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。107，第113条，第15页（2018年）。
理学硕士：68问题55 68甲19 2010年第68季度 第68季度第45季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Aguirre}等人，LIPIcs——莱布尼茨国际程序。通知。107，第113条，第15页（2018；兹bl 1499.68198）
全文： 内政部 arXiv公司
巴赛尔·曼纳;莫格尔贝格、拉斯穆斯·埃杰勒斯

时钟——它们是附属物。时钟类型理论的表示语义。 （英语） Zbl 1462.68023号

Kirchner，Hélène（编辑），第三届计算和扣除正式结构国际会议，2018年7月9日至12日，英国牛津FSCD。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。108，第23条，第17页（2018年）。
理学硕士：68甲18 03B38型 18 C50 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{B.Mannaa}和\textit{R.E.Mögelberg}，LIPIcs——莱布尼茨国际程序。通知。108，第23条，第17页（2018；Zbl 1462.68023）
全文： 内政部 arXiv公司
菲利波·邦奇;甘蒂，皮埃尔;罗伯托·贾科巴齐;达斯科·巴甫洛维奇

完善的技术和完整的抽象领域。 （英语） Zbl 1497.68107号

2018年第33届ACM/IEEE计算机科学逻辑研讨会论文集，2018年7月9日至12日，英国牛津，LICS 2018。纽约州纽约市：计算机协会（ACM）。175-184 (2018).
理学硕士：68号30
PDF格式BibTeX公司 XML格式引用
\textit{F.Bonchi}等人，摘自：2018年第33届ACM/IEEE计算机科学逻辑研讨会论文集，2018年LICS，英国牛津，2018年7月9日至12日。纽约州纽约市：计算机协会（ACM）。175-184（2018；Zbl 1497.68107）
全文： 内政部 arXiv公司
约尔格恩德鲁利斯;Helle Hvid汉森;迪米特里·亨德里克斯;安德鲁·波伦斯基;亚历山德拉·席尔瓦

无限重写和无限等式逻辑的共性基础。 （英语） Zbl 1459.68089号

日志。方法计算。科学。 14，第1号，第3号论文，44页（2018年）.
理学硕士：第68季度第42季度 03B70号 08B05号
PDF格式BibTeX公司 XML格式引用
\textit{J.Endrullis}等人，《日志》。方法计算。科学。14，第1号，第3号论文，44页（2018；Zbl 1459.68089）
全文： 内政部 arXiv公司
弗兰蒂舍克·法尔卡;叶卡捷琳娜·科门丹茨卡亚;凯文·哈蒙德

草书类型类解析的共导稳健性。 （英语） Zbl 1485.68041号

Hermenegildo，Manuel V.（编辑）等，基于逻辑的程序合成和转换。2016年9月6日至8日在英国爱丁堡举行的2016年LOPSTR第26届国际研讨会。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。10184, 311-327 (2017).
理学硕士：68甲18 03B70号 68N17号
PDF格式BibTeX公司 XML格式引用
\textit{F.Farka}等人，Lect。注释计算。科学。10184、311--327（2017；Zbl 1485.68041）
全文： 内政部 arXiv公司
叶卡捷琳娜·科门丹茨卡亚;帕特里夏·约翰;马丁·施密特

用于逻辑编程的生产力检查器。 （英语） Zbl 1485.68037号

Hermenegildo，Manuel V.（编辑）等人，基于逻辑的程序合成和转换。2016年9月6日至8日在英国爱丁堡举行的2016年LOPSTR第26届国际研讨会。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。10184, 168-186 (2017).
理学硕士：68N17号
PDF格式BibTeX公司 XML格式引用
\textit{E.Komendantskaya}等人，Lect。注释计算。科学。10184，168--186（2017；Zbl 1485.68037）
全文： 内政部 arXiv公司
Helle Hvid Hansen先生;克莱门斯·库普克;简·拉特

流微分方程：规范格式和求解方法。 （英语） 兹比尔1451.68181

日志。方法计算。科学。 13，第1号，第3号论文，51页（2017年）.
理学硕士：70年第68季度 2010年第68季度 第68季度第42季度
PDF格式BibTeX公司 XML格式引用
\textit{H.H.Hansen}等人，《日志》。方法计算。科学。13，第1号，第3号论文，51页（2017；Zbl 1451.68181）
全文： 内政部 arXiv公司
Damien Pous

一路复制。 （英语） Zbl 1394.68352号

2016年7月5日至8日，美国纽约州纽约市，2016年第31届ACM/IEEE计算机科学逻辑研讨会论文集，2016年LICS。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-4391-6）。307-316 (2016).
理学硕士：68吨15 03B35型 06B23号 68号30
PDF格式BibTeX公司 XML格式引用
\textit{D.Pous}，in：2016年第31届ACM/IEEE计算机科学逻辑研讨会论文集，2016年7月5-8日，美国纽约市，LICS 2016。纽约州纽约市：计算机协会（ACM）。307--316（2016；Zbl 1394.68352）
全文： 内政部 哈尔
德米特里·特雷特尔

正式语言，正式的和共同的。 （英语） Zbl 1387.68161号

Kesner，Delia（ed.）等人，第一届计算和扣减形式结构国际会议，2016年金融稳定与发展委员会，葡萄牙波尔图，2016年6月22日至26日。诉讼程序。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-95977-010-1）。LIPIcs–Leibniz International Proceedings in Informatics莱布尼茨国际信息学会议52，第31条，第17页（2016）。
理学硕士：第68季度第45季度 68问题65 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{D.Traytel}，LIPIcs——莱布尼茨国际程序。通知。52，第31条，第17页（2016年；Zbl 1387.68161）
全文： 内政部
大卫·希伯多;安德鲁·凯夫;碧姬·品特卡

索引的代码数据类型。 （英语） Zbl 1360.68342号

Garrigue，Jacques（ed.）等人，《第21届ACM SIGPLAN功能编程国际会议论文集》，2016年9月18日至22日，日本奈良，ICFP’16。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-4219-3）。351-363 (2016).
理学硕士：68甲18 68甲15 68第05页 68问题55 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Thibodeau}等人，in：第21届ACM SIGPLAN函数编程国际会议论文集，2016年9月18日至22日，日本奈良ICFP’16。纽约州纽约市：计算机协会（ACM）。351--363（2016；Zbl 1360.68342）
全文： 内政部
朱里安·罗特;菲利波·邦奇;马塞洛·邦桑格;Damien Pous;简·拉特;亚历山德拉·席尔瓦

增强的协同脑互模拟。 （英语） Zbl 1380.68300号

数学。结构。计算。科学。 第7号第27页，1236-1264页（2017年）.
审核人：艾哈迈特·库萨诺夫（Komsomolsk-om-Amur）
理学硕士：68问题85 18B20型 18立方厘米 18 C50 68问题55 70年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Rot}等人，数学。结构。计算。科学。27，第7号，1236--1264（2015；Zbl 1380.68300）
全文： 内政部
约尔格恩德鲁利斯;Helle Hvid Hansen先生;迪米特里·亨德里克斯;安德鲁·波伦斯基;亚历山德拉·席尔瓦

无限重写和等式推理的共创性框架。 （英语） Zbl 1366.68114号

Fernández，Maribel（编辑），第26届重写技术和应用国际会议，RTA’13，波兰华沙，2015年6月29日至7月1日。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-85-9）。LIPIcs–莱布尼茨国际信息学论文集36，143-159（2015）。
理学硕士：第68季度第42季度 03B70号 68吨15
PDF格式BibTeX公司 XML格式引用
\textit｛J.Endrullis｝等人，LIPIcs——莱布尼茨国际期刊。通知。36、143--159（2015；Zbl 1366.68114）
全文： 内政部
卢卡斯·扎伊卡

近正交无穷项重写系统的汇合。 （英语） Zbl 1366.68111号

Fernández，Maribel（编辑），第26届重写技术和应用国际会议，RTA’13，波兰华沙，2015年6月29日至7月1日。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-85-9）。LIPIcs–莱布尼茨国际信息学论文集36，106-126（2015）。
理学硕士：第68季度第42季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Czajka}，LIPIcs——莱布尼茨国际程序。通知。36、106-126（2015年；Zbl 1366.68111）
全文： 内政部
安德烈·赫肖维茨;赫肖维茨，汤姆;尼古拉斯·塔巴鲁

类型理论中同伦假设的Wild（\omega）范畴。 （英语） 兹比尔1433.03031

Altenkirch，Thorsten（编辑），第13届lambda calculi类型和应用国际会议，TLCA’15，波兰华沙，2015年7月1日至3日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。38, 226-240 (2015).
理学硕士：03B38型 03G30型 18N10型 18个60毫米
PDF格式BibTeX公司 XML格式引用
\textit{A.Hirschowitz}等人，LIPIcs——莱布尼茨国际程序。通知。38、226--240（2015；Zbl 1433.03031）
全文： 内政部
斯特凡·米利厄斯;托尔斯滕·维曼

无穷lambda演算的金融同余。 （英语） Zbl 1366.03172号

Moss，Lawrence S.（编辑）等人，第六届计算机科学代数和余代数会议，CALCO’15，荷兰奈梅亨，2015年6月24-26日。诉讼程序。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-84-2）。LIPIcs–莱布尼茨国际信息学论文集35，336-351（2015）。
理学硕士：03B40型 03G30型
PDF格式BibTeX公司 XML格式引用
\textit｛S.Milius｝和\textit｛T.Wißmann｝，LIPIcs——莱布尼茨国际期刊。通知。35、336--351（2015；Zbl 1366.03172）
全文： 内政部 arXiv公司
保罗·唐恩;菲利普·约翰森·弗雷德;泽纳·M·阿里奥拉。

结构递归的结构。 （英语） Zbl 1360.68361号

2015年9月1日至3日，加拿大温哥华，ICFP’15，第20届ACM SIGPLAN功能编程国际会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-3669-7）。127-139 (2015).
理学硕士：68号30 03B70号 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{P.Downen}等人，in：第20届ACM SIGPLAN函数编程国际会议论文集，ICFP’15，加拿大温哥华，2015年9月1日至3日。纽约州纽约市：计算机协会（ACM）。127-139（2015；Zbl 1360.68361）
全文： 内政部
谢尔盖·冈查洛夫;克里斯托夫·劳赫;卢茨·施罗德

共创性恢复上的无保护递归。 （英语） Zbl 1351.68074号

Dan Ghica（编辑），第31届编程语义数学基础会议论文集（MFPS XXXI），荷兰奈梅亨，2015年6月22日至25日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记319183-198，仅电子版（2015）。
理学硕士：68号30 18个C20
PDF格式BibTeX公司 XML格式引用
\textit{S.Goncharov}等人，《电子》。注释Theor。计算。科学。319183-198（2015年；Zbl 1351.68074）
全文： 内政部
戴维·桑吉奥吉

方程、收缩和唯一解。 （英语） Zbl 1346.68139号

第42届ACM SIGPLAN-SIGACT编程语言原则研讨会会议记录，2015年1月12日至18日，印度孟买，POPL’15。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-3300-9）。421-432 (2015).
理学硕士：68问题85 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Sangiorgi}，in：第42届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，2015年1月12-18日，印度孟买，POPL’15。纽约州纽约市：计算机协会（ACM）。421--432（2015；Zbl 1346.68139）
全文： 内政部 哈尔
拉斐尔·克鲁比尔;乌戈·达尔拉戈;戴维·桑吉奥吉;瓦莱里亚·维格努德利

应用相似性、顺序性和完全抽象。 （英语） Zbl 1444.68116号

Meyer，Roland（编辑）等人，《正确的系统设计》。2015年9月8日至9日，德国奥尔登堡，纪念Ernst-Rüdiger Olderog 60岁生日的研讨会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9360, 65-82 (2015).
理学硕士：68问题85 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{R.Crubillé}等人，Lect。注释计算。科学。9360，65-82（2015；Zbl 1444.68116）
全文： 内政部 哈尔
查尔斯·格雷洛伊斯;保罗·安德烈·梅利埃

线性逻辑的无限模型。 （英语） Zbl 1459.03025号

Andrew Pitts（编辑），《软件科学和计算结构基础》。第18届国际会议，FOSSACS 2015，作为欧洲软件理论与实践联合会议的一部分，ETAPS 2015，英国伦敦，2015年4月11-18日。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。9034, 41-55 (2015).
理学硕士：03B47号 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Grellois}和\textit{P.-A.Melliès}，莱克特。注释计算。科学。9034，41-55（2015；Zbl 1459.03025）
全文： 内政部 arXiv公司
巴尔塔萨尔·特兰科尼·维德曼;马库斯·勒珀

总功能数据流编程的基础。 （英语） Zbl 1464.68065号

Levy，Paul（编辑）等人，《数学结构函数编程第五次研讨会论文集》，MSFP 2014，法国格勒诺布尔，2014年4月12日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）153、143-167（2014）。
理学硕士：68甲18 68甲15
PDF格式BibTeX公司 XML格式引用
\textit{B.Trancon y Widemann}和\textit{M.Lepper}，电子。程序。西奥。计算。科学。（EPTCS）153、143--167（2014；Zbl 1464.68065）
全文： arXiv公司 链接
叶卡捷琳娜·科门丹茨卡亚;马丁·施密特;乔纳森·赫拉斯

在代数逻辑编程中利用并行性。 （英语） Zbl 1337.68054号

Power，John（ed.）等人，《代数、余代数和拓扑学研讨会论文集》（WACT 2013），英国巴斯，2013年3月1日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记303121-148，仅电子版（2014）。
理学硕士：68N17号
PDF格式BibTeX公司 XML格式引用
\textit｛E.Komendantskaya｝等人，电子。注释Theor。计算。科学。30312-148（2014年；Zbl 1337.68054）
全文： 内政部 arXiv公司
拉斐尔·克鲁比莱;乌戈·达尔拉戈

概率应用互模拟和call-by-value（lambda）-calculi。 （英语） Zbl 1405.68076号

Shao，Zhong（编辑），《程序设计语言和系统》。2014年4月5日至13日，在法国格勒诺布尔举行的第23届欧洲编程研讨会（ESOP 2014），作为欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-54832-1/pbk）。计算机科学课堂讲稿8410209-228（2014）。
理学硕士：68号30 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{R.Crubillé}和\textit{U.Dal Lago}，莱克特。注释计算。科学。8410，209--228（2014；Zbl 1405.68076）
全文： 内政部 arXiv公司 哈尔
乌戈·达尔拉戈;戴维·桑吉奥吉;米歇尔·阿尔贝蒂

关于高阶概率函数程序的共导等价性。 （英语） Zbl 1284.68424号

2014年1月22日至24日，美国加利福尼亚州圣地亚哥，POPL’14，第41届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-2544-8）。297-308 (2014).
理学硕士：68问题85 68甲18 87年第68季度 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{U.Dal Lago}等人，in：第41届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL’14，美国加利福尼亚州圣地亚哥，2014年1月22日至24日。纽约州纽约市：计算机协会（ACM）。297--308（2014；Zbl 1284.68424）
全文： 内政部 arXiv公司 哈尔
豪尔赫·路易斯·萨奇尼

构造演算中流定义的基于类型的生产力。 （英语） Zbl 1366.68254号

2013年6月25日至28日，美国路易斯安那州新奥尔良市杜兰大学2013年第28届ACM/IEEE计算机科学逻辑研讨会论文集。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机学会（ISBN 978-0-7695-5020-6）。233-242 (2013).
理学硕士：68吨15 03B70号
PDF格式BibTeX公司 XML格式引用
\textit｛J.L.Sachini｝，载：2013年第28届ACM/IEEE计算机科学逻辑年度研讨会论文集，LICS 2013，美国洛杉矶新奥尔良杜兰大学，2013年6月25-28日。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。233-242（2013年；Zbl 1366.68254）
全文： 内政部
拉尔夫·马提斯;西莉亚·皮卡德

使用共约法验证无限三角矩阵的重新修饰。 （英语） Zbl 1354.68184号

Danielsson，Nils Anders（编辑）等人，第18届国际校样和程序类型研讨会。研讨会论文（2011年类型），挪威卑尔根，2011年9月8-11日。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-49-1）。LIPIcs–莱布尼茨国际信息学会议录19，55-69（2013）。
理学硕士：68问题65 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{R.Matthes}和\textit{C.Picard}，LIPIcs——莱布尼茨国际程序。通知。19、55-69（2013年；Zbl 1354.68184）
全文： 内政部
约尔格恩德鲁利斯;安德鲁·波伦斯基

无限重写。 （英语） Zbl 1354.03008号

Danielsson，Nils Anders（编辑）等人，第18届国际校样和程序类型研讨会。研讨会论文（类型2011），挪威卑尔根，2011年9月8日至11日。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-49-1）。LIPIcs–莱布尼茨国际信息学论文集19，16-27（2013）。
理学硕士：03B40型 第68季度第42季度 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{J.Endrullis}和\textit{A.Polonsky}，LIPIcs——莱布尼茨国际程序。通知。19、16-27（2013；Zbl 1354.03008）
全文： 内政部
安德烈亚斯·阿贝尔（Andreas M.Abel）。;碧姬·品特卡

具有共同模式的基础良好的递归：终止和生产力的统一方法。 （英语） Zbl 1323.68087号

2013年9月25日至27日在美国马萨诸塞州波士顿举行的第18届ACM SIGPLAN功能编程国际会议记录，ICFP’13。纽约州纽约市：计算机机械协会（ACM）（ISBN 978-1-4503-2326-0）。ACM SIGPLAN通知48，第9号，185-196（2013）。
理学硕士：68甲18 03B70号 68第05页
PDF格式BibTeX公司 XML格式引用
\textit{A.M.Abel}和\textit{B.Pientka}，in：第18届ACM SIGPLAN函数式编程国际会议论文集，ICFP'13，美国马萨诸塞州波士顿，2013年9月25-27日。纽约州纽约市：计算机协会（ACM）。185-196（2013；Zbl 1323.68087）
全文： 内政部
菲利波·邦奇;Damien Pous

使用互模拟检查NFA等价性，直至一致。 （英语） Zbl 1301.68169号

2013年1月23日至25日，意大利罗马，POPL'13，第40届ACM SIGPLAN-SIGACT编程语言原则年度研讨会论文集。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1832-7）。457-468 (2013).
理学硕士：第68季度第45季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{F.Bonchi}和\textit{D.Pous}，in：第40届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL’13，意大利罗马，2013年1月23日至25日。纽约州纽约市：计算机协会（ACM）。457--468（2013；Zbl 1301.68169）
全文： 内政部 哈尔
中基尔胡尔;乔治·奈斯;德雷克·德雷尔;维克托·瓦菲亚迪斯

参数化在共推证明中的作用。 （英语） Zbl 1301.68220号

2013年1月23日至25日，意大利罗马，第40届ACM SIGPLAN-SIGCT编程语言原理年度研讨会论文集，POPL’13。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1832-7）。193-206 (2013).
理学硕士：68吨15 06B99号 68甲18 68号30
PDF格式BibTeX公司 XML格式引用
\textit{C.-K.Hur}等人，in：第40届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集，POPL'13，意大利罗马，2013年1月23-25日。纽约州纽约市：计算机协会（ACM）。193-206（2013；Zbl 1301.68220）
全文： 内政部
安德烈亚斯·亚贝尔;碧姬·品特卡;大卫·希伯多;安东·塞泽尔

Copatterns，通过观察编程无限结构。 （英语） Zbl 1301.68080号

2013年1月23日至25日，意大利罗马，第40届ACM SIGPLAN-SIGCT编程语言原理年度研讨会论文集，POPL’13。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1832-7）。27-38 (2013).
理学硕士：68甲18 68甲15
PDF格式BibTeX公司 XML格式引用
\textit{A.Abel}等人，in：第40届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集，POPL’13，意大利罗马，2013年1月23日至25日。纽约州纽约市：计算机协会（ACM）。27-38（2013；Zbl 1301.68080）
全文： 内政部
皮埃尔·莱斯坎

升级合理性的简单案例。 （英语） Zbl 1395.91062号

Heckel，Reiko（编辑）等人，《计算机科学中的代数和余代数》。2013年9月3日至6日，第五届国际会议，CALCO 2013，波兰华沙。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-40205-0/pbk）。计算机科学课堂讲稿8089191-204（2013）。
理学硕士：91年2月26日
PDF格式BibTeX公司 XML格式引用
\textit{P.Lescanne}，莱克特。注释计算。科学。8089、191--204（2013；Zbl 1395.91062）
全文： 内政部 arXiv公司 链接
穆罕默德·哈贾巴迪;布鲁斯·卡普伦。

主动攻击下共创符号安全的计算可靠性。 （英语） Zbl 1315.94079号

Sahai，Amit（编辑），《密码学理论》。第十届密码理论会议，TCC 2013，日本东京，2013年3月3日至6日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-36593-5/pbk）。计算机科学课堂讲稿7785，539-558（2013）。
理学硕士：94A60型 68平方米
PDF格式BibTeX公司 XML格式引用
\textit{M.哈贾巴迪}和\textit{B.M.卡普隆}，莱克特。注释计算。科学。7785、539--558（2013；Zbl 1315.94079）
全文： 内政部
丹尼尔森、尼尔斯·安德斯

使用偏单体的操作语义。 （英语） Zbl 1291.68114号

2012年9月9日至15日，第17届ACM SIGPLAN功能编程国际会议论文集，ICFP’12，丹麦哥本哈根。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1054-3）。ACM SIGPLAN通知47，第9号，127-138（2012）。
理学硕士：68甲18
PDF格式BibTeX公司 XML格式引用
\textit{N.A.Danielsson}，in：第17届ACM SIGPLAN函数式编程国际会议论文集，ICFP’12，丹麦哥本哈根，2012年9月9日至15日。纽约州纽约市：计算机协会（ACM）。127--138（2012；Zbl 1291.68114）
全文： 内政部
戴维·桑吉奥吉（编辑）;简·拉特（编辑）

相互模拟和共同归纳的高级主题。 （英语） Zbl 1264.68009号

剑桥理论计算机科学丛书52.剑桥：剑桥大学出版社（ISBN 978-1-107-00497-9/hbk）。xiii，第326页。(2012).
审核人：安蒂·瓦尔马里（Jyväskylä）
理学硕士：68-06 68-02 00年1月15日 68问题85 03B45
PDF格式BibTeX公司 XML格式引用
\textit{D.Sangiorgi}（编辑）和textit{J.Rutten}（主编），互模拟和共约高级主题。剑桥：剑桥大学出版社（2012；Zbl 1264.68009）
托马斯·布伦戈斯

序函子上余代数的弱互模拟。 （英语） Zbl 1362.68201号

Baeten，Jos C.M.（编辑）等人，《理论计算机科学》。第七届IFIP TC 1/WG 2.2国际会议，2012年TCS，荷兰阿姆斯特丹，2012年9月26-28日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-33474-0/pbk）。计算机科学课堂讲稿760487-103（2012）。
理学硕士：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{T.Brengos}，莱克特。注释计算。科学。7604，87-103（2012；Zbl 1362.68201）
全文： 内政部
德克斯特·科赞

共导类型的实现。 （英语） Zbl 1342.68217号

Mislove，Michael（ed.）等人，《第27届编程语义数学基础会议论文集》（MFPS XXVII），匹兹堡，宾夕法尼亚州，美国，2011年5月25日至28日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记276237-246（2011）。
理学硕士：68问题65
PDF格式BibTeX公司 XML格式引用
\textit{D.Kozen}，电子。注释Theor。计算。科学。276237--246（2011；Zbl 1342.68217）
全文： 内政部
弗里茨·亨利恩;拉塞·尼尔森

正则表达式包容、共导公理化和计算解释。 （英语） Zbl 1284.68353号

2011年1月26日至28日，美国德克萨斯州奥斯汀，POPL'11，第38届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-0490-0）。385-398 (2011).
理学硕士：第68季度第45季度 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{F.Henglein}和\textit{L.Nielsen}，摘自：第38届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集，POPL'11，美国德克萨斯州奥斯汀，2011年1月26日至28日。纽约州纽约市：计算机协会（ACM）。385-398（2011年；兹比尔1284.68353）
全文： 内政部
叶卡捷琳娜·科门丹茨卡亚;权力，约翰

逻辑编程中的协代数推导。 （英语） Zbl 1247.68044号

Marc Bezem（编辑），《计算机科学逻辑》（CSL’11）。2011年9月12日至15日，第25届国际研讨会，EACSL第20届年会，挪威卑尔根。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-32-3）。LIPIcs–莱布尼茨国际信息学会议录12，352-366，仅电子版（2011年）。
理学硕士：68N17号 68甲19 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{E.Komendantskaya}和\textit{J.Power}，LIPIcs——莱布尼茨国际程序。通知。12、352--366（2011；Zbl 1247.68044）
全文： 内政部 链接

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

串行

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件