马克·艾吉尔;伊莎贝尔·布洛赫;萨利姆·尼布切;皮诺·佩雷斯，拉蒙 拓扑视角下的形态逻辑——符号人工智能的应用。 （英语） Zbl 07734046号 国际J近似推理 161，文章ID 109011，第38页（2023）.MSC公司：68层37 PDF格式BibTeX公司 XML格式引用 \textit{M.Aiguier}等人，国际期刊近似推理161，文章ID 109011，38 p.（2023；Zbl 07734046） 全文： DOI程序 arXiv公司
拉兹万·迪亚科内斯库 广义分级插值。 （英语） Zbl 07629303号 国际J近似推理 152, 236-261 (2023).MSC公司：68T27型 03B50号 03C40号 03G30型 68层37 PDF格式BibTeX公司 XML格式引用 \textit{R.Diaconescu}，国际期刊近似推理152，236--261（2023；Zbl 07629303） 全文： DOI程序
伊莎贝尔·布洛赫;萨米·布卢梭;皮诺·佩雷斯，拉蒙;埃罗迪·普巴劳;纪尧姆·托科 数学形态学和人工智能之间的一些联系。 （英语） Zbl 1484.68176号 Lindblad，Joakim（编辑）等人，《离散几何与数学形态学》。第一届国际联席会议，DGMM 2021，2021年5月24日至27日，瑞典乌普萨拉。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12708, 457-469 (2021).MSC公司：68时01分 68T05型 68T07型 68T27型 68立方英尺 68层37 68T45型 68单位05 68单位10 PDF格式BibTeX公司 XML格式引用 \textit{I.Bloch}等人，Lect。注释计算。科学。12708、457--469（2021；Zbl 1484.68176） 全文： DOI程序 哈尔
马克·艾吉尔;伊莎贝尔·布洛赫 基于分层机构中数学形态学的逻辑对偶概念：在空间推理中的应用。 （英语） Zbl 1444.03183号 J.应用。非类别。日志。 29，第4号，392-429（2019）.MSC公司：03G30型 03B70号 68T27型 68层37 PDF格式BibTeX公司 XML格式引用 \textit｛M.Aiguier｝和\textit｛I.Bloch｝，J.Appl。非类别。日志。29，第4号，392--429（2019；Zbl 1444.03183） 全文： DOI程序 arXiv公司
马克·艾吉尔;阿提夫，贾马尔;伊莎贝尔·布洛赫;皮诺·佩雷斯，拉蒙 基于满足系统的任意逻辑中的解释关系，切割和收缩。 （英语） 兹比尔1448.68394 国际J近似推理 102, 1-20 (2018).MSC公司：68T27型 PDF格式BibTeX公司 XML格式引用 \textit{M.Aiguier}等人，国际期刊近似推理102，1--20（2018；Zbl 1448.68394） 全文： DOI程序 arXiv公司
何塞·费亚德罗;安托尼亚州洛佩斯;贝诺·德拉哈耶;Legay、Axel 异构定时机器的动态网络。 （英语） Zbl 1390.68448号 数学。结构。计算。科学。 28，第6号，800-855（2018）.MSC公司：70年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Fiadeiro}等人，《数学》。结构。计算。科学。28，第6号，800--855（2018；Zbl 1390.68448） 全文： DOI程序
戈因纳，丹尼尔 具有用户定义共享的混合逻辑中的逻辑编程基础。 （英语） 兹比尔1371.68048 西奥。计算。科学。 686, 1-24 (2017).MSC公司：68N17号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{D.Gin}，Theor（西奥）。计算。科学。686，1--24（2017；Zbl 1371.68048） 全文： DOI程序
拉兹万·迪亚科内斯库 一阶视图的函数语义。 （英语） 兹比尔1370.68208 西奥。计算。科学。 656，A部分，46-59（2016）.MSC公司：68问题65 PDF格式BibTeX公司 XML格式引用 \文本｛R.Diaconescu｝，Theor。计算。科学。656，A部分，46-59（2016；Zbl 1370.68208） 全文： DOI程序
拉兹万·迪亚科内斯库;Ţuţu，伊奥努 构建行为规范的基础。 （英语） Zbl 1434.68305号 J.日志。阿尔盖布。方法计划。 83，编号3-4，319-338（2014）.MSC公司：68问题65 PDF格式BibTeX公司 XML格式引用 \textit{R.Diaconescu}和\textit{I.u u}，J.Log。阿尔盖布。方法计划。83，编号3--4，319--338（2014；Zbl 1434.68305） 全文： DOI程序
丹尼尔·波克利夫琴斯基;格兰特·马尔科姆 使用机构实现模块化本体的功能方法。 （英语） Zbl 1328.68221号 螺柱日志。 102，第1期，117-143（2014）.MSC公司：68立方英尺 03G30型 PDF格式BibTeX公司 XML格式引用 \textit{D.Pokrywczyñski}和\textit{G.Malcolm}，Stud.Log。102，第1号，117--143（2014；Zbl 1328.68221） 全文： DOI程序
Ţuţu，伊奥努 抽象结构化规范的参数化。 （英语） Zbl 1358.68201号 西奥。计算。科学。 517, 102-142 (2014).MSC公司：68问题65 PDF格式BibTeX公司 XML格式引用 \文本{I.Ţuţu}，Theor。计算。科学。517102--142（2014年；Zbl 1358.68201） 全文： DOI程序
弗洛里安·拉贝 结合模型和证明理论的逻辑框架。 （英语） Zbl 1326.03082号 数学。结构。计算。科学。 23，第5期，945-1001（2013）. 审核人：拉兹万·迪亚科内斯库（普洛耶什蒂） MSC公司：03G30型 03B70号 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{F.Rabe}，数学。结构。计算。科学。23，第5号，945--1001（2013；Zbl 1326.03082） 全文： DOI程序
马克·艾吉尔;弗莱德里克·博朗格;比拉尔·坎索 用于建模和测试复杂软件系统的正式抽象框架。 （英语） Zbl 1279.68193号 西奥。计算。科学。 455, 66-97 (2012).MSC公司：60年第68季度 68号30 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{M.Aiguier}等人，Theor。计算。科学。455、66-97（2012年；Zbl 1279.68193） 全文： DOI程序
拉兹万·迪亚科内斯库 构造规范的公理方法。 （英语） Zbl 1279.68230号 西奥。计算。科学。 433, 20-42 (2012).MSC公司：68问题65 68号30 PDF格式BibTeX公司 XML格式引用 \textit{R.迪亚科内斯库}，Theor。计算。科学。433、20--42（2012年；Zbl 1279.68230） 全文： DOI程序
姆巴卡·马布罗基;马克·艾吉尔;Jean-Paul彗星;帕斯卡尔·勒加尔;理查德·阿德里安 嵌入生物监管网络和财产保护。 （英语） 1270.92024兹罗提 数学。计算。科学。 5，第3期，263-288（2011）.MSC公司：92立方厘米 92D10型 68问题85 60年第68季度 03B80号 PDF格式BibTeX公司 XML格式引用 \textit{M.Mabrouki}等人，《数学》。计算。科学。5，第3号，263--288（2011；Zbl 1270.92024） 全文： DOI程序 链接
拉兹万·迪亚科内斯库 Grothendieck夹杂物系统。 （英语） Zbl 1261.18005号 申请。类别。结构。 19，第5期，783-802（2011）. 审核人：维奥雷尔·米海·冈蒂内克（伊阿什） MSC公司：18 C50 18至15 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{R.Diaconescu}，应用。类别。结构。19，第5号，783--802（2011；Zbl 1261.18005） 全文： DOI程序
拉兹万·迪亚科内斯库;Ţuţu，伊奥努 关于结构化规范的代数。 （英语） Zbl 1252.68199号 西奥。计算。科学。 412，第28号，3145-3174（2011）.MSC公司：68问题65 PDF格式BibTeX公司 XML格式引用 \textit{R.Diaconescu}和\textit{I.u u}，Theor。计算。科学。412，第28号，3145-3174（2011；Zbl 1252.68199） 全文： DOI程序
Delphine Longuet;马克·艾吉尔;帕斯卡尔·勒加尔 从一阶规范中平等地进行验证引导测试选择。 （英语） Zbl 1214.68221号 J.汽车。推理 45，第4期，437-473（2010）.MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛D.Longuet｝等人，J.Autom。推理45，No.4，437--473（2010；Zbl 1214.68221） 全文： DOI程序 链接
马克·艾吉尔;黛安·巴赫拉米 用于抽象重写的结构。 （英语） Zbl 1125.03011号 J.汽车。推理 38，第4号，303-351（2007）.MSC公司：03立方厘米35 第68季度第42季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{M.Aiguier}和\textit{D.Bahrami}，J.Autom。推理38，No.4，303--351（2007；Zbl 1125.03011） 全文： DOI程序 哈尔
马克·艾吉尔;阿格内斯·阿诺德;博因，克莱门特;帕斯卡尔·勒加尔;布鲁诺·玛丽 从代数规范测试：通过展开公理测试数据集选择。 （英语） Zbl 1183.68175号 Grieskamp，Wolfgang（编辑）等人，《软件测试的形式化方法》。2005年7月11日，英国爱丁堡，第五届国际研讨会，命运2005。修订了选定的论文。柏林：施普林格出版社（ISBN 3-540-34454-3/pbk）。计算机科学课堂讲稿3997203-217（2006）。MSC公司：68号30 68问题65 PDF格式BibTeX公司 XML格式引用 \文本{M.Aiguier}等人，Lect。注释计算。科学。3997203-217（2006年；Zbl 1183.68175） 全文： DOI程序 哈尔
玛丽·克劳德·高德尔 构造和模块化代数规范：PLUSS规范语言、演进和透视图。 （英语） Zbl 1493.68229号 Finkel，A.（编辑）等人，STACS 92。计算机科学的理论方面。1992年2月13日至15日，法国卡尚，第九届年度研讨会会议记录。柏林：斯普林格。莱克特。注释计算。科学。577, 1-18 (1992).MSC公司：68问题65 PDF格式BibTeX公司 XML格式引用 \textit{M.-C.高德尔}，莱克特。注释计算。科学。577，1-18（1992年；兹bl 1493.68229） 全文： DOI程序