斯文·施奈德;玛丽亚·马克西莫娃;霍尔格·吉斯 针对概率度量时态图逻辑的性质,对区间概率时序图变换系统进行有界模型检验。 (英语) Zbl 07803183号 J.日志。阿尔盖布。方法计划。 137,文章ID 100938,48 p.(2024).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{S.Schneider}等人,J.Log。阿尔盖布。方法计划。137,文章ID 100938,48 p.(2024;Zbl 07803183) 全文: DOI程序
马蒂亚斯·巴科夫斯基;霍尔格·吉斯 用于与嵌套图形条件匹配的增量图形模式的主机粒度敏感RETE网络。 (英语) Zbl 1512.68064号 J.日志。阿尔盖布。方法计划。 131,文章ID 100841,25 p.(2023).MSC公司:68第05页 2012年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{M.Barkowsky}和\textit{H.Giese},J.Log。阿尔盖布。方法计划。131,文章ID 100841,25 p.(2023;Zbl 1512.68064) 全文: DOI程序
马蒂亚斯·巴科夫斯基;霍尔格·吉斯 广义图模式匹配的混合搜索计划生成。 (英语) Zbl 1451.68198号 J.日志。阿尔盖布。方法计划。 114,文章ID 100563,28 p.(2020).MSC公司:68兰特 68页第10页 PDF格式BibTeX公司 XML格式引用 \textit{M.Barkowsky}和\textit{H.Giese},J.Log。阿尔盖布。方法计划。114,文章ID 100563,28 p.(2020;Zbl 1451.68198) 全文: DOI程序
玛丽亚·马克西莫娃;霍尔格·吉斯;克里斯蒂安·克劳斯 概率定时图变换系统。 (英语) Zbl 1400.68058号 J.日志。阿尔盖布。方法计划。 101, 110-131 (2018).MSC公司:68号30 2012年第68季度 65年第68季度 60年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Maximova}等人,J.Log。阿尔盖布。方法计划。101、110-131(2018;Zbl 1400.68058) 全文: DOI程序 链接