×

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

最新的 引文 关联
大卫·迈克尔·罗伯茨

形式算符的基本构造。 （英语） Zbl 1502.18016号

类别。阿尔盖布将军。结构。申请。 第1期第15页，183-229页（2021年）.
审核人：阿德里亚娜·巴兰（布库雷什蒂）
MSC公司：18D40号 10层18号 18日70分 18E35型 18N10型
PDF格式BibTeX公司 XML格式引用
\textit{D.M.Roberts}，Categ（卡特）。阿尔盖布将军。结构。申请。15，编号1，183--229（2021；Zbl 1502.18016）
全文： 内政部 arXiv公司
卡洛·安吉利；纪尧姆·布鲁内里；可口、蒂埃里；罗伯特·哈珀；Hou（Favonia）、Kuen-Bang；丹尼尔·李卡塔（Daniel R.Licata）。

笛卡尔立方类型理论的句法和模型。 （英语） Zbl 1529.03123号

数学。结构。计算。科学。 31，第4期，424-468（2021）.
MSC公司：03B38型 55单位35 18号45
PDF格式BibTeX公司 XML格式引用
\textit｛C.Angiuli｝等人，《数学》。结构。计算。科学。31，第4号，424--468（2021；Zbl 1529.03123）
全文： 内政部
乔埃勒·扎迪尼；斯皮瓦克，大卫一世。；安德烈·塞西；埃米利奥·弗雷佐利

基于事件的系统的组合sheaf理论框架。 （英语） Zbl 1477.68319号

Spivak，David I.（编辑）等人，《2020年第三届国际应用范畴理论年会论文集》，ACT 2020，美国剑桥，2020年7月6日至10日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）333139-153（2021）。
MSC公司：68T40型 18层20 93C85号
PDF格式BibTeX公司 XML格式引用
\textit{G.Zardini}等人，《电子》。程序。西奥。计算。科学。（EPTCS）333139--153（2021年；Zbl 1477.68319）
全文： arXiv公司 链接
卢卡·蒂门斯；Dana S.斯科特。；克里斯托夫·本兹穆勒；米罗斯拉夫·本达

计算机支持的类模型分类公理化探索。 （英语） Zbl 1509.68328号

Fahrenberg，Uli（编辑）等人，《计算机科学中的关系和代数方法》。2020年10月26日至29日在法国帕莱索举行的2020年RAMiCS第18届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12062, 302-317 (2020).
MSC公司：68V20型 03B35型 03C07号机组 03C99号 第18页第15页 2018年20月
PDF格式BibTeX公司 XML格式引用
\textit{L.Tiemens}等人，Lect。注释计算。科学。12062、302-317（2020年；Zbl 1509.68328）
全文： 内政部 arXiv公司
拉尔斯·比克达尔；拉纳德·克鲁斯顿；巴赛尔·曼纳；拉斯穆斯·埃杰勒斯·莫格伯格；安德鲁·皮特斯（Andrew M.Pitts）。；溅出物，Bas

模态从属类型理论和从属右伴随词。 （英语） Zbl 1479.03011号

数学。结构。计算。科学。 30，第2期，118-138（2020年）.
MSC公司：03B38型 03B40型 03B45号 18A40型
PDF格式BibTeX公司 XML格式引用
\textit{L.Birkedal}等人，数学。结构。计算。科学。30，第2号，118--138（2020；Zbl 1479.03011）
全文： 内政部 arXiv公司
上村，太极

立方体集合，一个单价的、无效的宇宙，以及命题大小调整的失败。 （英语） Zbl 1528.03114号

Dybjer，Peter（编辑）等人，第24届国际校样和程序类型会议，2018年types 2018，葡萄牙布拉加，2018年6月18-21日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。130，第7条，第20页（2019年）。
MSC公司：03B38型 03G30型 18号40 55单位35
PDF格式BibTeX公司 XML格式引用
\textit{T.Uemura}，LIPIcs——莱布尼茨国际程序。通知。130，第7条，第20页（2019年；Zbl 1528.03114）
全文： 内政部 arXiv公司
Mirai池沼

通过同源方法获得的重写规则数的下限。 （英语） Zbl 1528.18011号

Geuvers，Herman（编辑），第四届计算和扣除正式结构国际会议，2019年金融稳定与发展会议，德国多特蒙德，2019，6月24-30日。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。131，第24条，第17页（2019年）。
MSC公司：18克15 2012年第68季度 20J05型
PDF格式BibTeX公司 XML格式引用
\textit{M.Ikebuchi}，LIPIcs——莱布尼茨国际程序。通知。131，第24条，第17页（2019年；Zbl 1528.18011）
全文： 内政部
康纳·麦克布莱德

每个人都有自己的位置。 （英语） Zbl 1525.68018号

Atkey，Robert（ed.）等人，《第七届数学结构函数编程研讨会论文集》，2018年MSFP，英国牛津，2018年7月8日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）27553-69（2018）。
MSC公司：68甲18 18 C50
PDF格式BibTeX公司 XML格式引用
\textit{C.McBride}，电子。程序。西奥。计算。科学。（EPTCS）275，53--69（2018；Zbl 1525.68018）
全文： arXiv公司 链接
西里尔·科恩；可口、蒂埃里；西蒙·胡贝尔；安德斯·莫特伯格

立方型理论：对单价公理的建设性解释。 （英语） Zbl 1434.03036号

Uustalu，Tarmo（编辑），第21届国际校样和程序类型会议，2015年5月18日至21日，爱沙尼亚塔林。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。69，第5条，第34页（2018年）。
MSC公司：03B38型 03楼50 55单位35 18 C50
PDF格式BibTeX公司 XML格式引用
\textit{C.Cohen}等人，LIPIcs——莱布尼茨国际程序。通知。69，第5条，第34页（2018；Zbl 1434.03036）
全文： 内政部 arXiv公司
阿伦斯，贝内迪克特；拉尔夫·马提斯

重新审视异质替代系统。 （英语） Zbl 1433.68220号

Uustalu，Tarmo（编辑），第21届国际校样和程序类型会议，2015年5月18日至21日，爱沙尼亚塔林。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。69，第2条，第23页（2018）。
MSC公司：68问题65 18 C50 68伏15 68V20型
PDF格式BibTeX公司 XML格式引用
\textit{B.Ahrens}和\textit{R.Matthes}，LIPIcs——莱布尼茨国际程序。通知。69，第2条，23 p.（2018；Zbl 1433.68220）
全文： 内政部 arXiv公司
何塞·梅塞盖尔

初始代数中基于变量的可满足性。 （英语） Zbl 1396.68074号

Artho，Cyrille（编辑）等人，《安全关键系统的形式化技术》。2015年11月6日至7日在法国巴黎举行的FTSCS第四届国际研讨会。修改选定的论文。查姆：施普林格（ISBN 978-3-319-29509-1/pbk；978-3-3169-29510-7/电子书）。《计算机与信息科学通信》596，3-34（2016）。
MSC公司：68问题65 18立方厘米 2012年第68季度 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{J.Meseguer}，Commun（公共）。计算。信息科学。596、3--34（2016；Zbl 1396.68074）
全文： 内政部
阿泽夫多·阿莫林

标称集的绑定运算符。 （英语） Zbl 1395.68088号

Birkedal，Lars（编辑），第32届编程语义数学基础会议论文集（MFPS XXXII），卡内基梅隆大学，匹兹堡，宾夕法尼亚州，美国，2016年5月23日至26日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》325，3-27（2016）。
MSC公司：68号30 03E70型 03G30型 18立方厘米 18 C50
PDF格式BibTeX公司 XML格式引用
\textit{A.Azevedo de Amorim}，电子。注释Theor。计算。科学。325、3--27（2016；Zbl 1395.68088）
全文： 内政部
安德烈亚斯·洛赫比勒；乔舒亚·施奈德

应用函子的等式推理。 （英语） Zbl 1464.68063号

Blanchette，Jasmin Christian（编辑）等，交互式定理证明。2016年8月22日至25日在法国南希举行的2016年ITP第七届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9807, 252-273 (2016).
MSC公司：68甲18 18A99型 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{A.Lochbihler}和\textit{J.Schneider}，莱克特。注释计算。科学。9807252--273（2016；Zbl 1464.68063）
全文： 内政部
斯蒂芬·斯基里克；何塞·梅塞盖尔

变量可满足性的元级算法。 （英语） Zbl 1367.68256号

Lucanu，Dorel（编辑），重写逻辑及其应用。第11届国际研讨会，WRLA 2016，作为ETAPS的卫星活动，于2016年4月2日至3日在荷兰埃因霍温举行。修改选定的论文。商会：施普林格出版社（ISBN 978-3-319-44801-5/pbk；978-3-319-44802-2/ebook）。《计算机科学讲义》9942167-184（2016）。
MSC公司：68吨15 18立方厘米 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Skeirik}和\textit{J.Meseguer}，莱克特。注释计算。科学。9942，167--184（2016；Zbl 1367.68256）
全文： 内政部 链接
克里斯托夫·本兹穆勒；达纳·斯科特

自动化Isabelle/HOL中的自由逻辑。 （英语） Zbl 1434.68638号

Greuel，Gert-Martin（编辑）等人，《数学软件——ICMS 2016》。第五届国际会议，德国柏林，2016年7月11-14日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9725, 43-50 (2016).
MSC公司：68伏15 03B16号 03B35型 03B60号 第18页第15页
PDF格式BibTeX公司 XML格式引用
\textit{C.Benzmüller}和\textit{D.Scott}，莱克特。注释计算。科学。9725、43-50（2016年；Zbl 1434.68638）
全文： 内政部
亚历克斯·基辛格；弗拉基米尔·扎姆德日耶夫

Quantomatic：图表推理的证明助手。 （英语） Zbl 1465.68288号

Felty，Amy P.（编辑）等人，《自动扣除——CADE-25》。2015年8月1日至7日在德国柏林举行的第25届自动扣减国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9195, 326-336 (2015).
MSC公司：68伏15 18立方米
PDF格式BibTeX公司 XML格式引用
\textit{A.基辛格}和\textit{V.Zamdzhiev}，莱克特。注释计算。科学。9195、326--336（2015；Zbl 1465.68288）
全文： 内政部 arXiv公司
罗伊·克罗。；弗兰克·内贝尔

名义lambda演算：FM-Cartesian闭范畴的内部语言。 （英语） Zbl 1334.68042号

Kozen，Dexter（ed.）等人，第29届编程语义数学基础会议论文集（MFPS XXIX），美国洛杉矶新奥尔良，2013年6月。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记29893-117（2013）。
MSC公司：68甲18 03B40型 18日第15天 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{R.L.Crole}和textit{F.Nebel}，电子。注释Theor。计算。科学。29893--117（2013；Zbl 1334.68042）
全文： 内政部
文森佐·西安西亚；亚历山大·库兹；乌戈·蒙塔纳里

对称族是资源绑定的有效模型。 （英语） Zbl 1247.68172号

Jacobs，B.（ed.）等人，第十届计算机科学联合算法研讨会论文集（CMCS 2010）。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》264，第2期，63-81（2010）。
MSC公司：68问题65 18 C50
PDF格式BibTeX公司 XML格式引用
\textit{V.Ciancia}等人，《电子》。注释Theor。计算。科学。264，编号2，63--81（2010；Zbl 1247.68172）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件