×

找到20个文档（结果1–20）

最新的 引文 关联
库兹涅佐夫（Stepan L.Kuznetsov）。

通过无充分根据的证明，具有指数的无限作用逻辑片段的复杂性。 （英语） Zbl 07532524号

Das，Anupam（编辑）等人，《使用分析表和相关方法的自动推理》。第30届国际会议，2021年9月6日至9日，英国伯明翰，TABLEAUX 2021。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。12842, 317-334 (2021).
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{S.L.Kuznetsov}，莱克特。注释计算。科学。12842、317--334（2021；Zbl 07532524）
全文： 内政部
科恩、利隆;鲁本·罗伊，N.S。

通过闭包算子和证明循环集成归纳和共归纳。 （英语） Zbl 07614523号

佩尔蒂埃、尼古拉斯（编辑）等人，《自动推理》。第十届国际联合会议，2020年7月1日至4日，法国巴黎，IJCAR 2020。诉讼程序。第一部分查姆：施普林格。勒克特。注释计算。科学。12166, 375-394 (2020).
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{L.Cohen}和\textit{R.N.S.Rowe}，莱克特。注释计算。科学。12166375--394（2020；Zbl 07614523）
全文： 内政部
希思，昆廷;戴尔·米勒

模型检验的证明理论：扩展摘要。 （英语） Zbl 1483.03034号

Cervesato，Iliano（编辑）等人，《第四届线性国际研讨会论文集》，2016年6月25日，葡萄牙波尔图。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）2381-10（2017）。
MSC公司：03楼52 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{Q.Heath}和\textit{D.Miller}，电子。程序。西奥。计算。科学。（EPTCS）238，1--10（2017；Zbl 1483.03034）
全文： arXiv公司 链接
Joëlle Despeyroux公司;卡洛斯·奥拉特;伊莲·皮门特尔

混合和次指数线性逻辑。 （英语） Zbl 1395.03034号

Nigam，Vivek（编辑）等人，《逻辑和语义框架及其应用第十一次研讨会论文集》（LSFA 2016），葡萄牙波尔图，2016年。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记33295-111（2017）。
MSC公司：03楼52 03B44号 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{J.Despeyroux}等人，《电子》。注释Theor。计算。科学。33295--111（2017；Zbl 1395.03034）
全文： 内政部 arXiv公司
罗伯特·艾奇

观察经典过程的通信语义。 （英语） Zbl 1485.68156号

Yang，Hongseok（编辑），《编程语言和系统》。2017年4月22日至29日，作为欧洲软件理论和实践联席会议的一部分，在瑞典乌普萨拉举行的第26届欧洲编程研讨会，ESOP 2017。诉讼程序。柏林：施普林格。勒克特。注释计算。科学。10201, 56-82 (2017).
MSC公司：68问题85 05年3月 03楼52 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{R.Atkey}，莱克特。注释计算。科学。10201，56-82（2017；Zbl 1485.68156）
全文： 内政部 链接
亨利·德扬;弗兰克·芬宁

作为自动机的子结构证明。 （英语） Zbl 1485.03251号

Igarashi，Atsushi（编辑），《编程语言和系统》。2016年11月21日至23日，第14届亚洲研讨会，2016年APLAS，越南河内。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。10017, 3-22 (2016).
MSC公司：03楼52 05年3月 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{H.DeYoung}和\textit{F.Pfenning}，莱克特。注释计算。科学。10017，3--22（2016；Zbl 1485.03251）
全文： 内政部
卡洛斯·奥拉特;伊莲·皮门特尔

再次验证并发约束编程的正确性。 （英语） Zbl 1342.68238号

Ayala Rincón，Mauricio（编辑）等人，《第九届逻辑和语义框架及其应用研讨会论文集》（LSFA 2014），巴西巴西利亚，2014年9月8日至9日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记312179-195，仅电子版（2015）。
MSC公司：68问题85 03B70号 03楼52 68号30 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Olarte}和\textit{E.Pimentel}，电子。注释Theor。计算。科学。312179-195（2015；Zbl 1342.68238）
全文： 内政部
伯纳多·托尼霍;路易斯·凯雷斯;弗兰克·芬宁

会话型流程中的一致性和非分歧性。 （英语） Zbl 1444.68124号

Maffei，Matteo（编辑）等人，《值得信赖的全球计算》。2014年9月5日至6日，第九届国际研讨会，TGC 2014，意大利罗马。修订了选定的论文。柏林：施普林格。勒克特。注释计算。科学。8902, 159-175 (2014).
MSC公司：68问题85 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{B.Toninho}等人，莱克特。注释计算。科学。8902159--175（2014年；Zbl 1444.68124）
全文： 内政部
戴尔·米勒

广谱证明证书的建议。 （英语） Zbl 1349.03027号

Jouannaud，Jean-Pierre（编辑）等人，《认证程序和证明》。2011年12月7日至9日在台湾垦丁举行的CPP 2011第一届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-25378-2/pbk）。计算机科学课堂讲稿7086，54-69（2011）。
MSC公司：03B70号 03B35型 07年3月 60年第68季度 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{D.Miller}，莱克特。注释计算。科学。7086，54-69（2011；Zbl 1349.03027）
全文： 内政部 哈尔

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件