×

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

最新的 引文 关联
杨，范;圣地亚哥埃斯科瓦尔;凯瑟琳·梅多斯;何塞·梅塞盖尔;圣地亚哥，索尼娅

通过进程代数语义选择串空间。 （英语） Zbl 1529.94036号

Lopez-Garcia，Pedro（编辑）等人，《声明式编程和智能系统的分析、验证和转换》。在曼努埃尔·赫尔梅内吉尔多60岁生日之际，为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13160, 307-350 (2023).
MSC公司：94A60型 68问题55 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{F.Yang}等人，Lect。注释计算。科学。13160307--350（2023年；Zbl 1529.94036）
全文： 内政部 arXiv公司
玛丽亚·阿尔普特;巴利斯，德米斯;圣地亚哥埃斯科瓦尔;何塞·梅塞盖尔;朱莉娅·萨皮娜

通过程序专业化优化Maude程序。 （英语） Zbl 1529.68130号

Lopez-Garcia，Pedro（编辑）等人，《声明式编程和智能系统的分析、验证和转换》。在曼努埃尔·赫尔梅内吉尔多60岁生日之际，为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13160, 21-50 (2023).
MSC公司：2012年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\文本{M.Alpuente}等人，Lect。注释计算。科学。13160，21-50（2023；Zbl 1529.68130）
全文： 内政部
弗朗西斯科·杜兰;史蒂文·艾克;圣地亚哥埃斯科瓦尔;马丁·奥列特，纳西索;何塞·梅塞盖尔;鲁宾·鲁比奥;卡罗琳·塔尔科特

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

Blanchette，Jasmin（编辑）等人，《自动推理》。第十一届国际联合会议，2022年8月8日至10日，以色列海法，IJCAR 2022。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13385, 529-540 (2022).
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{F.Durán}等人，Lect。注释计算。科学。13385、529--540（2022；Zbl 07628207）
全文： 内政部
阿帕里西奥·桑切斯，达米安;圣地亚哥埃斯科瓦尔;凯瑟琳·梅多斯;何塞·梅塞盖尔;朱莉娅·萨皮娜

具有时间和空间的协议分析。 （英语） Zbl 1498.94052号

Daniel Dougherty（编辑）等人，《协议、链和逻辑》。在乔舒亚·古特曼66岁生日之际献给他的散文。查姆：斯普林格。莱克特。注释计算。科学。13066, 22-49 (2021).
MSC公司：94A60型 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{D.Aparicio-Sánchez}等人，Lect。注释计算。科学。13066，22-49（2021；Zbl 1498.94052）
全文： 内政部
何塞·梅塞盖尔

莫德的符号计算：一些小吃。 （英语） Zbl 07496639号

Fernández，Maribel（编辑），基于逻辑的程序合成和转换。第30届国际研讨会，2020年LOPSTR，意大利博洛尼亚，2020年9月7日至9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12561，3-36（2021）。
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{J.Meseguer}，莱克特。注释计算。科学。12561，3--36（2021；Zbl 07496639）
全文： 内政部
阿帕里西奥·桑切斯，达米安;圣地亚哥埃斯科瓦尔;凯瑟琳·梅多斯;何塞·梅塞盖尔;朱莉娅·萨皮娜

随时间进行协议分析。 （英语） Zbl 1492.94055号

Bhargavan，Karthikeyan（编辑）等人，《密码学进展——INDOCRYPT 2020》。2020年12月13-16日在印度班加罗尔举行的第21届国际密码学会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12578128-150（2020年）。
MSC公司：94A60型 68第25页
PDF格式BibTeX公司 XML格式引用
\textit{D.Aparicio-Sánchez}等人，Lect。注释计算。科学。12578，128-150（2020；Zbl 1492.94055）
全文： 内政部 arXiv公司 链接
弗朗西斯科·杜兰;史蒂文·艾克;圣地亚哥埃斯科瓦尔;马丁·奥列特，纳西索;何塞·梅塞盖尔;鲁宾·鲁比奥;卡罗琳·塔尔科特

莫德的编程和符号计算。 （英语） Zbl 1494.68109号

J.日志。阿尔盖布。方法计划。 110，文章ID 100497，58 p.（2020）.
MSC公司：2012年第68季度 60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{F.Durán}等人，J.Log。阿尔盖布。方法计划。110，文章ID 100497，58 p.（2020；Zbl 1494.68109）
全文： 内政部 arXiv公司
何塞·梅塞盖尔

初始代数中基于变量的可满足性。 （英语） Zbl 1396.68074号

Artho，Cyrille（编辑）等人，《安全关键系统的形式化技术》。2015年11月6日至7日在法国巴黎举行的FTSCS第四届国际研讨会。修订了选定的论文。查姆：施普林格（ISBN 978-3-319-29509-1/pbk；978-3-3169-29510-7/电子书）。《计算机与信息科学通信》596，3-34（2016）。
MSC公司：68问题65 18立方厘米 2012年第68季度 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{J.Meseguer}，Commun（公共）。计算。信息科学。596，3-34（2016年；兹比尔1396.68074）
全文： 内政部
弗朗西斯科·杜兰;史蒂文·艾克;圣地亚哥埃斯科瓦尔;马丁·奥列特，纳西索;何塞·梅塞盖尔;卡罗琳·塔尔科特

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

Olivetti，Nicola（编辑）等人，《自动推理》。2016年6月27日至7月2日在葡萄牙科因布拉举行的2016年第八届国际联合会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9706, 183-192 (2016).
MSC公司：68甲15 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{F.Durán}等人，Lect。注释计算。科学。9706183--192（2016；Zbl 1475.68046）
全文： 内政部 链接
圣地亚哥埃斯科瓦尔;凯瑟琳·梅多斯;何塞·梅塞盖尔;圣地亚哥，索尼娅

用不等量约束模方程理论进行符号协议分析。 （英语） Zbl 1437.94060号

Bodei，Chiara（编辑）等人，《生物和安全应用编程语言》。在皮耶保罗·德加诺65岁生日之际，为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。9465, 238-261 (2015).
MSC公司：94A60型 68号30 03C05号机组
PDF格式BibTeX公司 XML格式引用
\textit{S.Escobar}等人，Lect。注释计算。科学。9465238-261（2015年；兹比尔1437.94060）
全文： 内政部
圣地亚哥埃斯科瓦尔;何塞·梅塞盖尔;拉尔夫·萨斯

变量缩小和方程统一。 （英语） Zbl 1347.68194号

Grigore（编辑），《第七届重写逻辑及其应用国际研讨会论文集》（WRLA 2008），匈牙利布达佩斯，2008年3月29日至30日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》238，第3期，103-119（2009）。
MSC公司：2012年第68季度 68问题85 94A60型
PDF格式BibTeX公司 XML格式引用
\textit{S.Escobar}等人，《电子》。注释Theor。计算。科学。238、3号、103--119（2009；Zbl 1347.68194）
全文： 内政部
圣地亚哥埃斯科瓦尔;凯瑟琳·梅多斯;何塞·梅塞盖尔

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格式引用
\textit{S.Escobar}等人，Lect。注释计算。科学。5705，1-50（2009年；Zbl 1252.94061）
全文： 内政部
玛丽亚·阿尔普特;圣地亚哥埃斯科瓦尔;何塞·梅塞盖尔;佩德罗·奥杰达

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

Michael Hanus（编辑），基于逻辑的程序合成和转换。2008年7月17日至18日，西班牙巴伦西亚，第18届国际研讨会，LOPSTR 2008。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-00514-5/pbk）。计算机科学课堂讲稿5438，24-39（2009）。
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\文本{M.Alpuente}等人，Lect。注释计算。科学。5438，24-39（2009；Zbl 1185.68219）
全文： 内政部
圣地亚哥埃斯科瓦尔;何塞·梅塞盖尔;拉尔夫·萨西

有效检查有限变量属性。 （英语） 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格式引用
\textit{S.Escobar}等人，Lect。注释计算。科学。5117、79-93（2008年；Zbl 1145.68444）
全文： 内政部
圣地亚哥埃斯科瓦尔;何塞·梅塞盖尔;普拉桑纳·塔蒂

缩小和重写逻辑：从基础到应用。 （英语） Zbl 1279.68205号

López Fraguas，Francisco J.（编辑），第十五届函数和（约束）逻辑编程研讨会论文集（WFLP 2006），西班牙马德里，2006年11月16日至17日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》177，5-33（2007）。
MSC公司：60年第68季度 03B70号 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Escobar}等人，《电子》。注释Theor。计算。科学。177、5-33（2007年；Zbl 1279.68205）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件