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)