×

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

最新的 引文 关联
何塞·梅塞盖尔;斯蒂芬·斯基里克

条件方程程序层次的地面收敛性和完备性。 （英语） 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）
全文： 内政部
何塞·梅塞盖尔

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

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

莫德的符号计算：一些小吃。 （英语） 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 07455704号

Ricca，Francesco（ed.）等人，《第36届逻辑编程（技术通信）国际会议论文集》，ICLP 2020，UNICAL，Rende（CS），意大利，2020年9月18日至24日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）32538-51（2020年）。
MSC公司：68N17号
PDF格式BibTeX公司 XML格式引用
\textit{D.Aparicio-Sánchez}等人，《电子》。程序。西奥。计算。科学。（EPTCS）325，38--51（2020；Zbl 07455704）
全文： arXiv公司 链接
弗朗西斯科·杜兰;史蒂文·艾克;圣地亚哥埃斯科瓦尔;马丁·奥列特，纳西索;何塞·梅塞盖尔;鲁宾·鲁比奥;卡罗琳·塔尔科特

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

J.日志。阿尔盖布。方法计划。 110，文章ID 100497，58 p.（2020）.
MSC公司：2012年第68季度 60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit｛F.Durán｝等人，J.日志。阿尔盖布。方法程序。110，文章ID 100497，58 p.（2020；Zbl 1494.68109）
全文： 内政部 arXiv公司
圣地亚哥埃斯科瓦尔;朱莉娅·萨皮娜

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

Bogaerts，Bart（ed.）等人，《第35届逻辑编程（技术通信）国际会议论文集》，2019年ICLP，美国拉斯克鲁塞斯，2019月20日至25日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）306154-167（2019）。
MSC公司：68N17号
PDF格式BibTeX公司 XML格式引用
\textit{S.Escobar}和\textit{J.Sapiña}，电子。程序。西奥。计算。科学。（EPTCS）306154-167（2019年；Zbl 07453112）
全文： arXiv公司 链接

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件