穆尼奥斯,塞萨尔A。;毛里西奥·阿亚拉·林科恩;玛丽亚诺·莫斯卡托(Mariano M.Moscato)。;达特尔,亚伦·M。;Anthony J.Narkawicz。;阿丽亚娜·阿尔维斯,阿尔梅达;安德烈亚·艾夫拉尔·达席尔瓦;蒂亚戈·费雷拉·拉莫斯 一阶递归函数终止准则的形式化验证。 (英语) Zbl 07800193号 J.汽车。推理 67,第4期,第40号论文,第30页(2023年).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{C.A.Muñoz}等人,J.Autom。推理67,第4号,论文40,30页(2023;Zbl 07800193) 全文: 内政部
毛里西奥·阿亚拉·林科恩(编辑);塞萨尔·穆尼奥斯(编辑) 2017年ITP精选扩展论文。前言。 (英语) Zbl 1468.68005号 J.汽车。推理 63,第2号,319-321(2019).MSC公司:68-06 68伏15 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{M.Ayala-Rincón}(编辑)和\textit{C.Muñoz}(主编),J.Autom。推理63,No.2,319--321(2019;Zbl 1468.68005) 全文: 内政部
穆尼奥斯,塞萨尔·A。(编辑);桑贾·拉亚杜尔加姆(编辑);奥克萨那州Tkachuk(编辑) 2016年NFM扩展论文精选:前言。 (英语) Zbl 1390.00164号 J.汽车。推理 60,第1期,第1-2期(2018年).MSC公司:00B25型 68-06 PDF格式BibTeX公司 XML格式引用 \textit{C.A.Muñoz}(编辑)等,J.Autom。推理60,No.1,1--2(2018;Zbl 1390.00164) 全文: 内政部
安东尼·纳卡维奇;塞萨尔·穆尼奥斯;亚伦·杜特尔 基于Sturm和Tarski定理的单变量多项式计算的形式化验证决策程序。 (英语) Zbl 1356.68196号 J.汽车。推理 54,第4期,285-326(2015).MSC公司:68吨15 03B35型 PDF格式BibTeX公司 XML格式引用 \文本{A.Narkawicz}等人,J.Autom。推理54,第4285-326号(2015年;Zbl 1356.68196) 全文: 内政部
塞萨尔·穆尼奥斯;安东尼·纳卡维奇 Bernstein多项式的形式化及其在全局优化中的应用。 (英语) Zbl 1314.68286号 J.汽车。推理 51,第2期,151-196(2013).MSC公司:68吨15 65克10 PDF格式BibTeX公司 XML格式引用 \textit{C.Muñoz}和\textit{A.Narkawicz},J.Autom。推理51,No.2,151--196(2013;Zbl 1314.68286) 全文: 内政部