内尔玛·莫雷拉;罗杰里奥·里斯 使用导数操作正则表达式：概述。 （英语） Zbl 07572309号 Caron，Pascal（编辑）等人，《自动机的实现和应用》。第26届国际会议，CIAA 2022，法国鲁昂，2022年6月28日至7月1日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13266, 19-33 (2022).MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Moreira}和\textit{R.Reis}，莱克特。注释计算。科学。13266，19-33（2022；Zbl 07572309） 全文： 内政部
克里斯蒂安·多兹卡尔;格特·斯莫尔卡 Coq构造型理论中的正则语言表示。 （英语） Zbl 1451.68146号 J.汽车。推理 61，编号1-4，521-553（2018）.MSC公司：65年第68季度 03B25号 03B35型 05年3月 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{C.Doczkal}和\textit{G.Smolka}，J.Autom。推理61，No.1--4，521--553（2018；Zbl 1451.68146） 全文： 内政部 哈尔
内尔玛·莫雷拉;大卫·佩雷拉;西芒，索萨甜瓜 确定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） 全文： 内政部