李永明;雷、李辉;李三江 基于多值可能性测度的计算树逻辑模型检验。 (英语) Zbl 1448.68306号 信息科学。 485, 87-113 (2019).MSC公司:60年第68季度 03B50号 68层37 PDF格式BibTeX公司 XML格式引用 \textit{Y.Li}等人,《信息科学》。485、87-113(2019年;Zbl 1448.68306) 全文: 内政部
李永明;曼弗雷德·德罗斯特;雷、李辉 多值系统中线性时间特性的模型检验。 (英语) 兹比尔1428.68188 信息科学。 377, 51-74 (2017).MSC公司:60年第68季度 03B50号 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{Y.Li}等人,《信息科学》。377、51-74(2017年;Zbl 1428.68188) 全文: 内政部 arXiv公司
李永明 基于广义可能性测度的线性时间特性的定量模型检验。 (英语) Zbl 1382.68143号 模糊集系统。 320, 17-39 (2017).MSC公司:60年第68季度 03B44号 68层37 PDF格式BibTeX公司 XML格式引用 \textit{Y.Li},模糊集系统。320、17-39(2017;Zbl 1382.68143) 全文: 内政部 arXiv公司
潘海宇;李永明;曹永志;李平 完全剩余格中具有隶属值的非确定性模糊自动机。 (英语) Zbl 1404.68072号 国际J近似推理 82, 22-38 (2017).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Pan}等人,《国际近似推理》82,22-38(2017;Zbl 1404.68072) 全文: 内政部
潘海宇;李永明;曹永志;马,战友 有限格上的模型检查计算树逻辑。 (英语) Zbl 1332.68141号 西奥。计算。科学。 612, 45-62 (2016).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Pan}等人,Theor。计算。科学。61245--62(2016;Zbl 1332.68141) 全文: 内政部
潘海宇;李永明;曹永志;马,战友 模型检查模糊计算树逻辑。 (英语) Zbl 1360.68595号 模糊集系统。 262, 60-77 (2015).MSC公司:60年第68季度 03B44号 68层37 PDF格式BibTeX公司 XML格式引用 \textit{H.Pan}等人,模糊集系统。262、60-77(2015年;Zbl 1360.68595) 全文: 内政部
奚正军;李永明;王欣 弱正则量子语法和异步量子自动机。 (英语) Zbl 1162.81357号 国际J.Theor。物理学。 48,第2期,357-368(2009).MSC公司:81页68 05年3月 65年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Z.Xi}等人,国际期刊Theor。物理。48,第2号,357--368(2009;Zbl 1162.81357) 全文: 内政部