李永明;雷、李辉;李三江 基于多值可能性测度的计算树逻辑模型检验。 (英语) 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) 全文: 内政部
玛丽亚姆·古拉尼 基于完全剩余格值逻辑的树自动机:约简算法和决策问题。 (英语) Zbl 1407.68254号 伊朗。J.模糊系统。 第7号第15页,第103-119页(2018).MSC公司:65年第68季度 03B52号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{M.Ghorani},伊朗。J.模糊系统。15、第7号、第103--119(2018;Zbl 1407.68254) 全文: 内政部
李永明;曼弗雷德·德罗斯特;雷、李辉 多值系统中线性时间特性的模型检验。 (英语) Zbl 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 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) 全文: 内政部