×

找到2个软件包(结果1-2)

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)

筛选结果依据…

主字段