×

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

通过进程代数语义选择串空间。 (英语) Zbl 07729484号

Lopez-Garcia,Pedro(编辑)等人,《声明式编程和智能系统的分析、验证和转换》。在曼努埃尔·赫尔梅内吉尔多60岁生日之际,为他撰写的论文。查姆:施普林格。莱克特。注释计算。科学。13160, 307-350 (2023).
PDF格式BibTeX公司 XML格式引用

通过程序专业化优化Maude程序。 (英语) Zbl 07729469号

Lopez-Garcia,Pedro(编辑)等人,《声明式编程和智能系统的分析、验证和转换》。在曼努埃尔·赫尔梅内吉尔多60岁生日之际,为他撰写的论文。查姆:施普林格。莱克特。注释计算。科学。13160,21-50(2023年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

Maude 3.2(系统描述)中的等式统一和匹配以及符号可达性分析。 (英语) Zbl 07628207号

Blanchette,Jasmin(编辑)等人,《自动推理》。第十一届国际联合会议,2022年8月8日至10日,以色列海法,IJCAR 2022。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13385, 529-540 (2022).
MSC公司:68伏15
PDF格式BibTeX公司 XML格式引用
全文: 内政部

具有不可约性和SMT约束的规范收缩作为通用符号协议分析方法。 (英语) Zbl 1517.94128号

Bae,Kyungmin(编辑),重写逻辑及其应用。2022年4月2日至3日,德国慕尼黑,第14届WRLA 2022国际研讨会。修订了选定的论文。查姆:施普林格。莱克特。注释计算。科学。13252, 45-64 (2022).
MSC公司:94A60型 68第25页
PDF格式BibTeX公司 XML格式引用
全文: 内政部

具有时间和空间的协议分析。 (英语) 兹比尔1498.94052

Daniel Dougherty(编辑)等人,《协议、链和逻辑》。在约书亚·古特曼66.66岁生日之际,为他撰写的论文。查姆:施普林格。莱克特。注释计算。科学。13066, 22-49 (2021).
MSC公司:94A60型 68问题85
PDF格式BibTeX公司 XML格式引用
全文: 内政部

随时间进行协议分析。 (英语) Zbl 1492.94055号

Bhargavan,Karthikeyan(编辑)等人,《密码学进展——INDOCRYPT 2020》。2020年12月13-16日在印度班加罗尔举行的第21届国际密码学会议。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12578, 128-150 (2020).
MSC公司:94A60型 68第25页
PDF格式BibTeX公司 XML格式引用

构造器符号下基于变量的方程统一。 (英语) Zbl 07455704号

Ricca,Francesco(ed.)等人,《第36届逻辑编程(技术通信)国际会议论文集》,ICLP 2020,UNICAL,Rende(CS),意大利,2020年9月18日至24日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)32538-51(2020年)。
MSC公司:68N17号
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

大多数通用变体统一器。 (英语) Zbl 07453112号

Bogaerts,Bart(ed.)等人,《第35届逻辑编程(技术通信)国际会议论文集》,2019年ICLP,美国拉斯克鲁塞斯,2019月20日至25日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)306154-167(2019)。
MSC公司:68N17号
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

内置变量生成和统一,以及它们在Maude 2.7中的应用。 (英语) Zbl 1475.68046号

Olivetti,Nicola(编辑)等人,《自动推理》。2016年6月27日至7月2日在葡萄牙科因布拉举行的2016年第八届国际联合会议。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9706, 183-192 (2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

用不等量约束模方程理论进行符号协议分析。 (英语) 兹比尔1437.94060

Bodei,Chiara(编辑)等人,《生物和安全应用编程语言》。在皮耶保罗·德加诺65岁生日之际,为他撰写的论文。查姆:施普林格。莱克特。注释计算。科学。9465, 238-261 (2015).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

莫德二十年。 (英语) Zbl 1321.68007号

Martí-Oliet,Narciso(编辑)等人,《逻辑、重写和并发》。纪念何塞·梅塞盖尔65岁生日的文章。查姆:施普林格(ISBN 978-3-319-23164-8/pbk;978-3-3169-23165-5/电子书)。计算机科学讲稿9200,232-254(2015)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

变量缩小和方程统一。 (英语) Zbl 1347.68194号

Grigore(编辑),《第七届重写逻辑及其应用国际研讨会论文集》(WRLA 2008),匈牙利布达佩斯,2008年3月29日至30日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》238,第3期,103-119(2009)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

Maude-NPA:密码协议分析模方程属性。 (英语) Zbl 1252.94061号

Aldini,Alessandro(编辑)等人,《安全分析和设计基础V.FOSAD 2007/2008/2009教程讲座》。柏林:施普林格出版社(ISBN 978-3-642-03828-0/pbk)。计算机科学课程讲稿5705,1-50(2009)。
MSC公司:94A60型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

一种模块化方程泛化算法。 (英语) Zbl 1185.68219号

Michael Hanus(编辑),基于逻辑的程序合成和转换。2008年7月17日至18日在西班牙巴伦西亚举行的2008年LOPSTR第18届国际研讨会。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-642-00514-5/pbk)。计算机科学课堂讲稿5438,24-39(2009)。
MSC公司:68号30
PDF格式BibTeX公司 XML格式引用
全文: 内政部

使用依赖项对终止收缩。 (英语) Zbl 1185.68218号

Garcia de la Banda,Maria(编辑)等人,《逻辑编程》。2008年12月9日至13日在意大利乌迪内举行的第24届ICLP国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-89981-5/pbk)。计算机科学课堂讲稿5366,317-331(2008)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

有效检查有限变量属性。 (英语) Zbl 1145.68444号

安德烈·沃伦科夫(编辑),《重写技术与应用》。2008年7月15日至17日在奥地利哈根堡举行的RTA 2008第19届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-70588-8/pbk)。计算机科学讲义5117,79-93(2008)。
MSC公司:2012年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

基本变窄的模块化终端。 (英语) Zbl 1145.68439号

安德烈·沃伦科夫(编辑),《重写技术与应用》。2008年7月15日至17日在奥地利哈根堡举行的RTA 2008第19届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-70588-8/pbk)。计算机科学课堂讲稿5117,1-16(2008)。
MSC公司:2012年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

缩小和重写逻辑:从基础到应用。 (英语) 兹比尔1279.68205

López Fraguas,Francisco J.(编辑),第十五届函数和(约束)逻辑编程研讨会论文集(WFLP 2006),西班牙马德里,2006年11月16日至17日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》177,5-33(2007)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份