×

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

最新的 引文 关联
弗朗西斯科·杜兰;史蒂文·艾克;圣地亚哥埃斯科瓦尔;马丁·奥列特，纳西索;何塞·梅塞盖尔;鲁本·卢比奥;卡罗琳·塔尔科特

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）
全文： DOI程序
何塞·梅塞盖尔;斯蒂芬·斯基里克

条件方程程序层次的地面收敛性和完备性。 （英语） Zbl 1514.68039号

Bae，Kyungmin（编辑），重写逻辑及其应用。2022年4月2日至3日，德国慕尼黑，第14届WRLA 2022国际研讨会。修订了选定的论文。查姆：斯普林格。莱克特。票据计算。科学。13252, 191-211 (2022).
MSC公司：68号30 68甲18 2012年第68季度 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{J.Meseguer}和\textit{S.Skeirik}，莱克特。票据计算。科学。13252、191--211（2022；Zbl 1514.68039）
全文： DOI程序
何塞·梅塞盖尔

通过归纳定理证明检查充分的完备性。 （英语） Zbl 1514.68038号

Bae，Kyungmin（编辑），重写逻辑及其应用。2022年4月2日至3日，德国慕尼黑，第14届WRLA 2022国际研讨会。修订了选定的论文。查姆：斯普林格。莱克特。票据计算。科学。13252171-190（2022年）。
MSC公司：68号30 2012年第68季度 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{J.Meseguer}，莱克特。票据计算。科学。13252、171--190（2022年；Zbl 1514.68038）
全文： DOI程序
何塞·梅塞盖尔

初始代数中基于变量的可满足性。 （英语） 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；Zbl 1396.68074）
全文： DOI程序
斯蒂芬·斯基里克;何塞·梅塞盖尔

变量可满足性的元级算法。 （英语） Zbl 1367.68256号

Lucanu，Dorel（编辑），重写逻辑及其应用。2016年4月2日至3日，第11届WRLA国际研讨会作为ETAPS的卫星活动在荷兰埃因霍温举行。修订了选定的论文。查姆：施普林格（ISBN 978-3-319-44801-5/pbk；978-3-3169-44802-2/电子书）。计算机科学讲义9942，167-184（2016）。
MSC公司：68吨15 18立方厘米 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛S.Skeirik｝和\textit｛J.Meseguer｝，Lect。票据计算。科学。9942，167--184（2016；Zbl 1367.68256）
全文： DOI程序 链接
何塞·梅塞盖尔

有序重写和同余闭包。 （英语） Zbl 1475.68142号

Jacobs，Bart（编辑）等人，《软件科学和计算结构基础》。2016年4月2日至8日在荷兰埃因霍温举行的第19届国际会议FOSSACS 2016，作为欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。9634, 493-509 (2016).
MSC公司：2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Meseguer}，莱克特。票据计算。科学。9634493-509（2016年；兹比尔1475.68142）
全文： DOI程序
何塞·梅塞盖尔;斯蒂芬·斯基里克

初始有序代数中的方程公式和模式运算。 （英语） Zbl 1362.68053号

Falaschi，Moreno（编辑），基于逻辑的程序合成和转换。2015年7月13日至15日在意大利锡耶纳举行的2015年LOPSTR第25届国际研讨会。修订了选定的论文。查姆：施普林格（ISBN 978-3-319-27435-5/pbk；978-3-3169-27436-2/电子书）。计算机科学课堂讲稿9527，36-53（2015）。
MSC公司：68号30 03B70号 68甲15 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Meseguer}和\textit{S.Skeirik}，莱克特。票据计算。科学。9527，36-53（2015；Zbl 1362.68053）
全文： DOI程序
萨尔瓦多卢卡斯;何塞·梅塞盖尔

通用逻辑中的本地化操作终端。 （英语） Zbl 1453.68053号

De Nicola，Rocco（编辑）等人，《软件、服务和系统》。马丁·威辛（Martin Wirsing）于2015年从德国慕尼黑的编程和软件工程主席退休之际发表的论文。论文。查姆：斯普林格。莱克特。票据计算。科学。8950, 91-114 (2015).
MSC公司：68号30 03B70号 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{S.Lucas}和\textit{J.Meseguer}，莱克特。票据计算。科学。8950，91-114（2015；Zbl 1453.68053）
全文： DOI程序
玛丽亚·阿尔普特;圣地亚哥埃斯科瓦尔;哈维尔·埃斯伯特;何塞·梅塞盖尔

ACUOS：具有子类型和继承的模块化ACU泛化系统。 （英语） Zbl 1432.68422号

Fermé，Eduardo（编辑）等人，《人工智能中的逻辑》。2014年9月24日至26日，第14届欧洲会议，JELIA 2014，葡萄牙马德拉，Funchal。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。8761, 573-581 (2014).
MSC公司：68T27型 68第05页
PDF格式BibTeX公司 XML格式引用
\textit{M.Alpunte}等人，Lect。票据计算。科学。8761573--581（2014年；Zbl 1432.68422）
全文： DOI程序 链接
何塞·梅塞盖尔;格里高·罗什乌

重写逻辑语义项目：进度报告。 （英语） Zbl 1342.68198号

Owe，Olaf（编辑）等人，《计算理论基础》。2011年8月22日至25日在挪威奥斯陆举行的FCT 2011第18届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22952-7/pbk）。计算机科学课堂讲稿6914，1-37（2011）。
MSC公司：68问题55 03B70号 68号30 2012年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Meseguer}和\textit{G.Rošu}，莱克特。票据计算。科学。6914，1--37（2011；Zbl 1342.68198）
全文： DOI程序
圣地亚哥埃斯科瓦尔;凯瑟琳·梅多斯;何塞·梅塞盖尔

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年；兹比尔1252.94061）
全文： DOI程序
圣地亚哥埃斯科瓦尔;何塞·梅塞盖尔;普拉桑纳·塔蒂

缩小和重写逻辑：从基础到应用。 （英语） 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）
全文： DOI程序
史蒂文·艾克;马丁·奥列特，纳西索;何塞·梅塞盖尔;阿尔贝托·维尔德乔

演绎、策略和重写。 （英语） Zbl 1277.68241号

Archer，Myler（编辑）等人，第六届自动扣除策略国际研讨会论文集（strategies 2006），西雅图，华盛顿州，美国，2006年8月16日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》174，第11期，3-25页（2007年）。
MSC公司：68吨15 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Eker}等人，《电子》。注释Theor。计算。科学。174，第11号，第3--25号（2007；Zbl 1277.68241）
全文： DOI程序
马丁·奥列特，纳西索;何塞·梅塞盖尔

将逻辑重写为逻辑和语义框架。 （英语） 兹比尔0912.68096

Meseguer，J.（编辑），重写逻辑及其应用。1996年9月3日至6日，美国加利福尼亚州太平洋格罗夫，第一届国际研讨会会议记录。阿姆斯特丹：爱思唯尔，理论计算机科学电子笔记。第4、36页（1996年）。
MSC公司：2012年第68季度 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{N.Martí-Oliet}和\textit{J.Meseguer}，in：重写逻辑及其应用程序。第一届国际研讨会会议记录，美国加利福尼亚州太平洋格罗夫，1996年9月3日至6日。阿姆斯特丹：爱思唯尔。36页（1996年；Zbl 0912.68096）
全文： 链接

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件