×

找到43份文件(结果1-43)

具有高阶有理(循环)项的逻辑框架。 (英语) Zbl 07770332号

Kupferman,Orna(编辑)等人,《软件科学和计算结构基础》。第26届国际会议FOSSACS 2023,作为欧洲软件理论与实践联合会议ETAPS 2023的一部分,于2023年4月22日至27日在法国巴黎举行。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13992, 68-88 (2023).
MSC公司:68新元 68季度xx
PDF格式BibTeX公司 XML格式引用

自然演绎中的一个新连接词及其在量子计算中的应用。 (英语) Zbl 07500644号

Cerone,Antonio(编辑)等人,《计算的理论方面——ICTAC 2021》。2021年9月8日至10日,哈萨克斯坦努尔苏尔坦,第18届国际学术讨论会,虚拟活动。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12819, 175-193 (2021).
MSC公司:68季度xx
PDF格式BibTeX公司 XML格式引用

模型检验的证明理论:扩展摘要。 (英语) Zbl 1483.03034号

Cervesato,Iliano(编辑)等人,《第四届线性国际研讨会论文集》,2016年6月25日,葡萄牙波尔图。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)2381-10(2017)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

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

Ayala-Rincón,Mauricio(编辑)等人,交互式定理证明。2017年9月26日至29日在巴西巴西利亚举行的2017年ITP第八届国际会议。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。10499, 241-261 (2017).
PDF格式BibTeX公司 XML格式引用

一种用于函数程序验证转换的高阶抽象语法方法。 (英语) Zbl 1335.68036号

Peter Thiemann(编辑),《编程语言和系统》。2016年4月2日至8日,作为欧洲软件理论与实践联合会议的一部分,在荷兰埃因霍温举行了第25届欧洲编程研讨会,即2016年ESOP。诉讼程序。柏林:施普林格出版社(ISBN 978-3-662-49497-4/pbk;978-3-562-49498-1/电子书)。计算机科学讲座笔记9632752-779(2016)。
MSC公司:68甲18 68N17号
PDF格式BibTeX公司 XML格式引用

计时\(\pi\)-演算的逻辑编码。 (英语) Zbl 1453.68113号

Gupta,Gopal(编辑)等,基于逻辑的程序合成和转换。2013年9月18日至19日在西班牙马德里举行的2013年LOPSTR第23届国际研讨会。修订了选定的论文。查姆:施普林格。莱克特。注释计算。科学。8901, 164-182 (2014).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

标称SOS。 (英语) Zbl 1342.68193号

Berger,Ulrich(编辑)等人,《第28届编程语义数学基础会议论文集》(MFPS XXVIII),英国巴斯,2012年6月6日至9日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记286103-116(2012)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

证明:Abella形式化了\(\lambda\)-演算立方体属性。 (英语) Zbl 1385.68012号

Hawblitzel,Chris(编辑)等人,认证程序和证明。2012年12月13日至15日在日本京都举行的第二届国际会议,CPP 2012。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-35307-9/pbk)。计算机科学课堂讲稿7679173-187(2012)。
MSC公司:68甲18 第68页第15页
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于名称在推理\(\lambda \)-树语法规范中的作用。 (英语) 兹比尔1337.68076

Abel,Andreas(编辑)等人,《逻辑框架和元语言:理论与实践第三届国际研讨会论文集》(LFMTP 2008),匹兹堡,宾夕法尼亚州,美国,2008年6月23日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记228135-150(2009)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

Abella中关于结构操作语义规范的推理。 (英语) Zbl 1337.68239号

Abel,Andreas(编辑)等人,《逻辑框架和元语言:理论与实践第三届国际研讨会论文集》(LFMTP 2008),匹兹堡,宾夕法尼亚州,美国,2008年6月23日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记228,85-100(2009)。
MSC公司:第68页第15页 03B70号 68问题55
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于最小类属量化的表达性。 (英语) Zbl 1337.03038号

Abel,Andreas(编辑)等人,《逻辑框架和元语言:理论与实践第三届国际研讨会论文集》(LFMTP 2008),匹兹堡,宾夕法尼亚州,美国,2008年6月23日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记228,3-19(2009)。
MSC公司:03B70号 03财年03
PDF格式BibTeX公司 XML格式引用
全文: 内政部

在逻辑中形式化操作语义规范。 (英语) Zbl 1347.68213号

Falaschi,Moreno(编辑),第17届函数和(约束)逻辑编程国际研讨会论文集(WFLP 2008),意大利锡耶纳,2008年7月3日至4日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记246147-165(2009)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

\(a \)-带箭头的逻辑。 (英语) Zbl 1283.03064号

Echahed,Rachid(编辑),第16届函数和(约束)逻辑编程国际研讨会论文集(WFLP 2007),法国巴黎,2007年6月25日。精选论文。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记216,3-29(2008)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

膜逻辑中模型检查的不可解释性。 (英语) Zbl 1277.68131号

Danos,Vincent(编辑)等人,第三届计算模型发展国际研讨会论文集(DCM 2007),Wrocław,波兰,2007年7月15日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》192,第3期,23-37(2008)。
MSC公司:第68季度第60季度 03B70号 2005年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

阿贝拉交互定理证明者。(系统描述)。 (英语) Zbl 1165.68457号

阿曼多、亚历山德罗(编辑)等,《自动推理》。2008年8月12日至15日在澳大利亚悉尼举行的第四届国际联合会议。柏林:施普林格出版社(ISBN 978-3-540-71069-1/pbk)。计算机科学课堂讲稿5195。人工智能课堂讲稿,154-161(2008)。
MSC公司:第68页第15页
PDF格式BibTeX公司 XML格式引用
全文: 内政部

元线性逻辑框架。 (英语) Zbl 1278.03061号

Schürmann,C.(编辑),第四届逻辑框架和元语言国际研讨会论文集(LFM 2004),英国科克,2004年7月5日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记199129-147(2008)。
MSC公司:03B70号
PDF格式BibTeX公司 XML格式引用
全文: 内政部

指定CLF中并发计算的属性。 (英语) Zbl 1278.03069号

Schürmann,C.(编辑),第四届逻辑框架和元语言国际研讨会论文集(LFM 2004),英国科克,2004年7月5日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记199,67-87(2008)。
MSC公司:03B70号 68问题85
PDF格式BibTeX公司 XML格式引用
全文: 内政部

操作语义的证明理论方法。 (英语) Zbl 1316.68100号

Aceto,Luca(编辑)等人,《代数过程计算论文》研讨会论文集(APC 25),意大利贝蒂诺罗,2005年8月1日至5日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记162,243-247(2006)。
MSC公司:68问题85 03B70号 68问题55 第68页第15页
PDF格式BibTeX公司 XML格式引用
全文: 内政部

通过线性逻辑关联基于状态和基于进程的并发。 (英语) Zbl 1262.68136号

Mints,G.(ed.)等人,《第十三届逻辑、语言、信息和计算研讨会论文集》(WoLLIC 2006),美国加利福尼亚州斯坦福市,2006年7月18日至21日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记165145-176(2006)。
MSC公司:68问题85 03楼52
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份