×

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

最新的 引文 相关性
沃尔夫冈·杰利奇;哈维尔·迪亚斯

关于网络通信的证据：针对人类和机器。 （英语） 兹伯利07820782

Aubert，Clément（ed.）等人，《第16届交互和并发体验研讨会论文集》，ICE 2023，葡萄牙里斯本，2023年6月19日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）383，1-14（2023）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{W.Jeltsch}和\textit{J.Díaz}，电子。程序。西奥。计算。科学。（EPTCS）383，1-14（2023；Zbl 07820782）
全文： DOI程序 arXiv公司
毛里西奥·阿亚拉·林科恩;玛丽贝尔·费尔南德斯;加布里埃尔·费雷拉·席尔瓦;特默尔库西亚;丹尼尔·南特斯·索布里尼奥

标称AC匹配。 （英语） Zbl 07810723号

Catherine Dubois（编辑）等人，《智能计算机数学》。第16届国际会议，CICM 2023，英国剑桥，2023年9月5-8日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14101, 53-68 (2023).
MSC公司：68伏xx
PDF格式BibTeX公司 XML格式引用
\textit{M.Ayala-Rincón}等人，Lect。注释计算。科学。14101、53-68（2023；Zbl 07810723）
全文： DOI程序
安德烈·波佩斯库

绑定语法的重排和基于重命名的递归。 （英语） Zbl 07628212号

Blanchette，Jasmin（编辑）等人，《自动推理》。第十一届国际联合会议，2022年8月8日至10日，以色列海法，IJCAR 2022。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13385, 618-639 (2022).
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{A.Popescu}，莱克特。注释计算。科学。13385、618--639（2022；Zbl 07628212）
全文： DOI程序 arXiv公司
曼弗雷德·施密特·沙乌;尤努斯·库茨

与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）
全文： DOI程序
托比亚斯·尼普科;西蒙·罗科普夫

伊莎贝尔的元逻辑：形式化和证明检查器。 （英语） Zbl 07437074号

AndréPlatzer等人，《自动扣除——CADE 28》。2021年7月12日至15日，第28届自动扣款国际会议，虚拟活动。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12699, 93-110 (2021).
MSC公司：03B35型 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{T.Nipkow}和\textit{S.Roßkopf}，Lect。注释计算。科学。12699、93-110（2021；Zbl 07437074）
全文： DOI程序 arXiv公司
毛里西奥·阿亚拉·林科恩;玛丽贝尔·费尔南德斯;加布里埃尔·费雷拉·席尔瓦;丹尼尔·南特斯·索布里尼奥

一种经过认证的泛函标称C-统一算法。 （英语） Zbl 1502.68145号

Gabbrielli，Maurizio（编辑），基于逻辑的程序合成和转换。2019年10月8日至10日，第29届国际研讨会，2019年LOPSTR，葡萄牙波尔图。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。12042, 123-138 (2020).
MSC公司：2012年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Ayala-Rincón}等人，Lect。注释计算。科学。12042、123--138（2020；Zbl 1502.68145）
全文： DOI程序
奥曼·波霍拉，约翰内斯

重温Psi-calculi：连通性和组合性。 （英语） Zbl 07800275号

Pérez，Jorge A.（编辑）等人，分布式对象、组件和系统的形式化技术。第39届IFIP WG 6.1国际会议，2019年FORTE，作为第14届分布式计算技术国际联合会议的一部分，于2019年6月17日至21日在丹麦Kongens Lyngby举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11535, 3-20 (2019).
MSC公司：68问题85 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{J.奥曼·波霍拉}，莱克特。注释计算。科学。11535，3-20（2019；Zbl 07800275）
全文： DOI程序 哈尔
毛里西奥·阿亚拉·林科恩;华盛顿州，de Carvalho-Segundo;玛丽贝尔·费尔南德斯;丹尼尔·南特斯·索布里尼奥;罗查·奥利维拉，安娜·克里斯蒂娜

与A、C和AC函数符号的标称（α）等价的形式化。 （英语） Zbl 1423.68405号

西奥。计算。科学。 781, 3-23 (2019).
MSC公司：68吨15 03B70号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Ayala-Rincón}等人，Theor。计算。科学。781，3--23（2019年；Zbl 1423.68405）
全文： DOI程序 链接
曼弗雷德·施密特·沙乌;大卫·萨贝尔

原子和上下文变量的名义统一。 （英语） Zbl 1462.68026号

Kirchner，Hélène（编辑），第三届计算和扣除正式结构国际会议，2018年7月9日至12日，英国牛津FSCD。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。108，第28条，第20页（2018年）。
MSC公司：68甲18 2012年第68季度 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{M.Schmidt-Schauß}和\textit{D.Sabel}，LIPIcs——莱布尼茨国际程序。通知。108，第28条，第20页（2018；Zbl 1462.68026）
全文： DOI程序
毛里西奥·阿亚拉·林科恩;华盛顿州，de Carvalho-Segundo;玛丽贝尔·费尔南德斯;丹尼尔·南特斯·索布里尼奥

与A和AC函数符号的标称（α）等价的形式化。 （英语） Zbl 1401.68273号

Nigam，Vivek（编辑）等人，《逻辑和语义框架及其应用第十一次研讨会论文集》（LSFA 2016），葡萄牙波尔图，2016年。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》332，21-38（2017）。
MSC公司：68吨15 03B70号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Ayala-Rincón}等人，《电子》。理论注释。计算。科学。332、21-38（2017；Zbl 1401.68273）
全文： DOI程序
洛伦佐·盖里;安德烈·波佩斯库

带有绑定的形式化通用语法理论。 （英语） Zbl 1468.68072号

Ayala-Rincón，Mauricio（编辑）等人，交互式定理证明。2017年9月26日至29日在巴西巴西利亚举行的2017年ITP第八届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10499241-261（2017）中描述。
MSC公司：68号30 60年第68季度 68V20型
PDF格式BibTeX公司 XML格式引用
\textit｛L.Gheri｝和\textit｛A.Popescu｝，Lect。注释计算。科学。10499，241--261（2017；Zbl 1468.68072）
全文： DOI程序 arXiv公司 链接
毛里西奥·阿亚拉·林科恩;玛丽贝尔·费尔南德斯;罗查·奥利维拉，安娜·克里斯蒂娜

标称统一算法在PVS中的完整性。 （英语） Zbl 1394.68348号

Benevides，Mario（ed.）等人，《逻辑和语义框架与应用第十次研讨会论文集》（LSFA 2015），巴西纳塔尔，2015年8月31日至9月1日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记323，57-74（2016）。
MSC公司：68吨15 03B35型 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Ayala-Rincón}等人，《电子》。理论注释。计算。科学。323、57-74（2016年；Zbl 1394.68348）
全文： DOI程序
阿泽夫多·阿莫林

标称集的绑定运算符。 （英语） 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}，电子。理论注释。计算。科学。325，3-27（2016年；兹比尔1395.68088）
全文： DOI程序
彼得·马克西莫维奇;阿兰·施密特

HOCore公司。 （英语） Zbl 1465.68196号

Urban，Christian（ed.）等人，《交互式定理证明》。第六届国际会议，2015年ITP，中国南京，2015年8月24日至27日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9236, 278-293 (2015).
MSC公司：68问题85 68V20型
PDF格式BibTeX公司 XML格式引用
\textit{P.Maksimović}和\textit{A.Schmitt}，莱克特。注释计算。科学。9236278--293（2015；Zbl 1465.68196）
全文： DOI程序 哈尔
昆查尔，Ondřej;安德烈·波佩斯库

Isabelle/HOL的一贯基础。 （英语） Zbl 1433.68556号

Urban，Christian（ed.）等人，《交互式定理证明》。第六届国际会议，2015年ITP，中国南京，2015年8月24日至27日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9236, 234-252 (2015).
MSC公司：68伏15 03B16号 03B35型
PDF格式BibTeX公司 XML格式引用
\textit{O.Kunčar}和\textit{A.Popescu}，莱克特。注释计算。科学。9236，234--252（2015；Zbl 1433.68556）
全文： DOI程序 链接
默多克·加贝;丹·吉卡

名义模型中的博弈语义。 （英语） Zbl 1342.68195号

Berger，Ulrich（编辑）等人，《第28届编程语义数学基础会议论文集》（MFPS XXVIII），英国巴斯，2012年6月6日至9日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记286173-189（2012）。
MSC公司：68问题55 03B70号 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{M.Gabbay}和\textit{D.Ghica}，电子。理论注释。计算。科学。286173--189（2012年；Zbl 1342.68195）
全文： DOI程序
托比亚斯·尼普科

与校对助理教授语义：不再需要LSD旅行证明。 （英语） Zbl 1325.68005号

Kuncak，Viktor（编辑）等人，《验证、模型检查和抽象解释》。2012年1月22日至24日，第13届国际会议，VMCAI 2012，美国宾夕法尼亚州费城。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-27939-3/pbk）。计算机科学课堂讲稿7148,24-38（2012）。
MSC公司：68-01 68甲15 68问题55 68吨15 97页40页
PDF格式BibTeX公司 XML格式引用
\textit{T.Nipkow}，莱克特。注释计算。科学。7148，24-38（2012；Zbl 1325.68005）
全文： DOI程序
詹姆斯·切尼;城市，基督教

机械化mini-XQuery的元理论。 （英语） Zbl 1350.68054号

Jouannaud，Jean-Pierre（编辑）等人，《认证程序和证明》。2011年12月7日至9日在台湾垦丁举行的CPP 2011第一届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-25378-2/pbk）。计算机科学课堂讲稿7086，280-295（2011）。
MSC公司：68甲15 68甲18 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{J.切尼}和\textit{C.Urban}，莱克特。注释计算。科学。7086280-295（2011年；Zbl 1350.68054）
全文： DOI程序
彼得·休厄尔;弗朗切斯科·扎帕，纳德利;斯科特·欧文斯;吉尔斯·佩斯金;托马斯·里奇;萨卡，苏斯米特;斯特尼萨，洛克

Ott：为正在工作的语义学家提供有效的工具支持。 （英语） Zbl 1185.68201号

J.功能。程序。 20，第1期，71-122（2010）.
MSC公司：68甲18 68问题55 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{P.Sewell}等人，J.Funct。程序。20，编号1，71-122（2010；Zbl 1185.68201）
全文： DOI程序
詹姆斯·切尼

一个简单的名词类型理论。 （英语） Zbl 1337.03039号

Abel，Andreas（编辑）等人，《逻辑框架和元语言：理论与实践第三届国际研讨会论文集》（LFMTP 2008），匹兹堡，宾夕法尼亚州，美国，2008年6月23日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记228，37-52（2009）。
MSC公司：03B70号 03B40型
PDF格式BibTeX公司 XML格式引用
\发短信给电子公司。理论注释。计算。科学。228、37-52（2009年；Zbl 1337.03039）
全文： DOI程序
城市，基督教;朱利安·纳布克斯

（lambda）-演算的形式SOS-证明。 （英语） Zbl 1310.68184号

Horizonte，Belo（ed.）等人，《逻辑和语义框架及其应用第三次研讨会论文集》（LSFA 2008），巴西萨尔瓦多，2008年8月26日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记247139-155（2009）。
MSC公司：68吨15 03B40型 68问题55 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Urban}和\textit{J.Narboux}，电子。理论注释。计算。科学。247139——155（2009年；Zbl 1310.68184）
全文： DOI程序
安德烈亚斯·洛赫比勒

形式化FinFuns–生成函数代码作为Isabelle/HOL的数据。 （英语） Zbl 1252.68260号

Berghofer，Stefan（编辑）等人，《高阶逻辑中的定理证明》。2009年8月17日至20日在德国慕尼黑举行的第22届TPHOL国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-03358-2/pbk）。《计算机科学讲义》5674、310-326（2009）。
MSC公司：68吨15
PDF格式BibTeX公司 XML格式引用
\文本｛A.Lochbihler｝，Lect。注释计算。科学。5674、310-326（2009年；Zbl 1252.68260）
全文： DOI程序
杰斯珀·本特森;约阿希姆·帕罗

Isabelle的Psi-calculi。 （英语） Zbl 1252.68247号

Berghofer，Stefan（编辑）等人，《高阶逻辑中的定理证明》。2009年8月17日至20日在德国慕尼黑举行的第22届TPHOL国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-03358-2/pbk）。计算机科学讲座笔记567499-114（2009）。
MSC公司：68吨15 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{J.本特森}和\textit{J.Parrow}，莱克特。注释计算。科学。5674，99-114（2009；Zbl 1252.68247）
全文： DOI程序
马卡里乌斯·温泽尔;劳伦斯·C·鲍尔森。;托比亚斯·尼普科

伊莎贝尔框架。 （英语） Zbl 1165.68478号

Mohamed，Otmane-Ait（编辑）等人，高阶逻辑中的定理证明。2008年8月18日至21日在加拿大蒙特利尔举行的2008年第21届TPHOL国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-71065-3/pbk）。计算机科学课堂讲稿5170，33-38（2008）。
MSC公司：68吨15
PDF格式BibTeX公司 XML格式引用
\textit{M.Wenzel}等人，Lect。注释计算。科学。5170、33-38（2008年；Zbl 1165.68478）
全文： DOI程序
扎伊娜·达盖伊;泽维尔·勒罗伊

CPS转换的机械化验证。 （英语） Zbl 1137.68345号

Dershowitz，Nachum（编辑）等人，《编程逻辑、人工智能和推理》。2007年10月15日至19日在亚美尼亚埃里温举行的2007年LPAR第14届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-75558-6/pbk）。计算机科学课堂讲稿4790。《人工智能课堂讲稿》，211-225（2007）。
MSC公司：68甲18
PDF格式BibTeX公司 XML格式引用
\textit{Z.Dargaye}和\textit{X.Leroy}，Lect。注释计算。科学。4790211-225（2007年；兹bl 1137.68345）
全文： DOI程序 链接

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件