马库斯·拉莫斯。;何塞·卡洛斯·巴塞拉·阿尔梅达;内尔玛·莫雷拉;de Queiroz,Ruy J.G.B。 无上下文语言泵引理形式化的一些应用。 (英语) Zbl 1433.68200号 Accattoli,Beniamino(编辑)等人,《逻辑和语义框架与应用第13次研讨会论文集》,LSFA 18,巴西福塔莱萨,2018年9月26日至28日。阿姆斯特丹:爱思唯尔。电子。注释Theor。计算。科学。344, 151-167 (2019).MSC公司:65年第68季度 68伏15 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{M.V.M.Ramos}等人,《电子》。注释Theor。计算。科学。344151-167(2019年;Zbl 1433.68200) 全文: 内政部
马库斯·拉莫斯。;何塞·卡洛斯·巴塞拉尔·阿尔梅达;内尔玛·莫雷拉;Ruy JoséGuerra Barretto De Queiroz 无上下文语言泵引理的形式化。 (英语) Zbl 1451.68160号 J.福尔马利兹。原因。 9,第2号,53-68(2016).MSC公司:65年第68季度 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{M.V.M.Ramos}等人,J.Formaliz。原因。9,第2号,53--68(2016;Zbl 1451.68160) 全文: 内政部 arXiv公司
拉莫斯、马库斯·维尼修斯·米德纳;德奎罗斯,鲁伊·J·G·B。;内尔玛·莫雷拉;何塞·卡洛斯·巴塞拉·阿尔梅达 关于无语境语言理论的一些结果的形式化。 (英语) Zbl 1478.68133号 Väänänen,Jouko(编辑)等人,《逻辑、语言、信息和计算》。2016年8月16日至19日在墨西哥普埃布拉举行的2016年WoLLIC第23届国际研讨会。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。9803, 338-357 (2016).MSC公司:65年第68季度 2012年第68季度 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{M.V.M.Ramos}等人,Lect。注释计算。科学。9803、338--357(2016;Zbl 1478.68133) 全文: 内政部 链接
内尔玛·莫雷拉;大卫·佩雷拉;西芒,索萨甜瓜 Coq中Kleene代数项等价性的判定。 (英语) 兹比尔1329.68232 J.日志。阿尔盖布。方法程序。 84,第3期,377-401(2015).MSC公司:68吨15 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Moreira}等人,J.Log。阿尔盖布。方法计划。84,第3号,377--401(2015;Zbl 1329.68232) 全文: 内政部
内尔玛·莫雷拉;大卫·佩雷拉;西芒,索萨甜瓜 确定Coq中正则表达式(in-)的等价性。 (英语) Zbl 1330.68265号 Kahl,Wolfram(编辑)等人,《计算机科学中的关系和代数方法》。2012年9月17日至20日在英国剑桥举行的2012年RAMiCS第13届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-33313-2/pbk)。计算机科学课堂讲稿756098-113(2012)。MSC公司:68吨15 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Moreira}等人,Lect。注释计算。科学。7560,98-113(2012;Zbl 1330.68265) 全文: 内政部
何塞·巴塞拉尔·阿尔梅达;内尔玛·莫雷拉;大卫·佩雷拉;圣梅洛·德索萨 Coq中形式化的偏导数自动机。 (英语) Zbl 1297.68214号 Domaratzki,Michael(编辑)等人,《自动机的实现和应用》。2010年8月12日至15日,加拿大温尼伯CIAA 2010第15届国际会议。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-642-18097-2/pbk)。计算机科学课堂讲稿648259-68(2011)。MSC公司:68吨15 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.B.Almeida}等人,Lect。注释计算。科学。6482、59-68(2011年;Zbl 1297.68214) 全文: 内政部 链接
大卫·佩雷拉;尤格尼奥·奥利维拉;内尔玛·莫雷拉 BDI代理中情绪的正式建模。 (英语) Zbl 1175.68462号 Sadri,Fariba(编辑)等人,《多智能体系统中的计算逻辑》。第八届国际研讨会,CLIMA VIII,葡萄牙波尔图,2007年9月10日至11日。修订选定和邀请的论文。柏林:施普林格出版社(ISBN 978-3-540-88832-1/pbk)。计算机科学课堂讲稿5056。人工智能课堂讲稿,62-81(2009)。MSC公司:68T42型 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{D.Pereira}等人,Lect。注释计算。科学。5056、62--81(2009年;Zbl 1175.68462) 全文: 内政部