Regex_Equivalence（正则_等效） 10篇文献引用(2014–2023) 软件作者： Nipkow，T。；特拉泰尔·D·。 相关软件： Isabelle/HOL；存档正式证据；起重… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
MSO_Regex_当量 7份文件引用(2013–2018) 软件作者： 德米特里·特拉泰尔（Dmitriy Traytel）；托比亚斯·尼普科 相关软件： Presburger Automata；Myhill-Nerode；伊莎贝尔… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
POSIX莱辛 1份文件引用(2016) 软件作者： Fahad Ausaf、Roy Dyckhoff、Christian Urban 相关软件： 正则集；存档正式证据；伊莎贝尔/HOL 主要字段： 计算机科学（68-XX）