Formalizing Regular Expression Matching in Isabelle/HOL
Formalizing Regular Expression Matching in Isabelle/HOL
复制标题
在 Isabelle/HOL 中形式化正则表达式匹配
DOI：
--
复制
发表时间：
2010
期刊：
影响因子：
--
通讯作者：
Yasuhiko Minamide
中科院分区：
文献类型：
--
作者：
H.Umeo;K.Ishida;K.Tachibana;N.Kamikawa;Yasuhiko Minamide
正则集和表达式
DOI：
--
发表时间：
2010
期刊：
Arch. Formal Proofs
影响因子：
--
作者：
Alexander Krauss;T. Nipkow
通讯作者：
T. Nipkow