×

找到21个文档(结果1–21)

面向基于子结构特性的测试。 (英语) Zbl 1521.68035号

De Angelis,Emanuele(编辑)等,基于逻辑的程序合成和转换。第31届国际研讨会,2021年9月7日至8日,爱沙尼亚塔林,LOPSTR 2021。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13290, 92-112 (2022).
PDF格式BibTeX公司 XML格式引用

指数分层类型。 (英语) Zbl 1462.68021号

Kirchner,Hélène(编辑),第三届计算和扣除正式结构国际会议,2018年7月9日至12日,英国牛津FSCD。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。108,第19条,第17页(2018年)。
MSC公司:68甲18
PDF格式BibTeX公司 XML格式引用

量子编程语言的形式化元级分析框架。 (英语) Zbl 1433.68078号

Alves,Sandra(编辑)等人,逻辑和语义框架与应用第十二次研讨会论文集(LSFA 2017),巴西巴西利亚,2017年9月23日至24日。阿姆斯特丹:爱思唯尔。电子。注释Theor。计算。科学。338, 185-201 (2018).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

林肯:具有一流上下文的线性逻辑框架。 (英语) Zbl 1485.68065号

Yang,Hongseok(编辑),《编程语言和系统》。2017年4月22日至29日在瑞典乌普萨拉举行的第26届欧洲编程研讨会(ESOP 2017),是欧洲软件理论与实践联合会议(ETAPS 2017)的一部分。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。10201, 530-555 (2017).
MSC公司:68号30 03楼52
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格式引用
全文: 内政部

术语通用逻辑。 (英语) 兹比尔1253.03061

Corradini,Andrea(编辑)等人,代数开发技术的最新趋势。2008年6月13日至16日在意大利比萨举行的WADT 2008第19届国际研讨会。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-642-03428-2/pbk)。计算机科学课堂讲稿5486,290-307(2009)。
MSC公司:03B70号 03B40型
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 1268.68051号

Ambler,S.J.(编辑)等人,MERLIN 2001。2001年6月18日,意大利锡耶纳,《关于变量绑定语言的机械化推理研讨会论文集》(与IJCAR 2001相关)。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》58,第1期,59-78(2001)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份

主字段