阿尔特·米德尔多普;亚历山大·洛赫曼;费比安·米特沃纳 线性变量分离重写系统重写的一阶理论:自动化、形式化、认证。 (英语) Zbl 07702720号 J.汽车。推理 67,第2期,第14号论文,76页(2023年).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{A.Middeldorp}等人,J.Autom。推理67,第2号,论文14,76页(2023;Zbl 07702720) 全文: 内政部
亚历山德罗·西马蒂;阿尔贝托·格里乔;恩里科·马格纳戈 长期贷款无限状态系统中的证伪。 (英语) Zbl 07629158号 Inf.计算。 289,A部分,文章ID 104977,43 p.(2022).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人,《信息计算》。289,A部分,文章ID 104977,43 p.(2022;Zbl 07629158) 全文: 内政部
Vaandrager,Frits公司;阿披实·米迪亚 寄存器自动机和符号跟踪语言的Myhill-Nerode定理。 (英语) Zbl 1492.68083号 西奥。计算。科学。 912, 37-55 (2022). 审核人:安德烈亚斯·马莱蒂(莱比锡) MSC公司:65年第68季度 68问题32 PDF格式BibTeX公司 XML格式引用 \textit{F.Vaandrager}和\textit{A.Midya},Theor。计算。科学。912,37-55(2022;Zbl 1492.68083) 全文: 内政部 链接
费比安·米特沃纳;亚历山大·洛赫曼;阿尔特·米德尔多普;伯特伦·费尔根豪尔 在重写的一阶理论中证明证明。 (英语) Zbl 1474.68166号 Groote,Jan Friso(编辑)等人,《系统构建和分析的工具和算法》。第27届国际会议,TACAS 2021,作为欧洲软件理论与实践联合会议的一部分,于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。第二部分。查姆:斯普林格。莱克特。注释计算。科学。第12652、127-144页(2021)。MSC公司:2012年第68季度 03B25号 03B35型 05年3月 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{F.Mitterwallner}等人,Lect。注释计算。科学。12652、127--144(2021年;Zbl 1474.68166) 全文: 内政部
托尔斯滕·利布克;卡斯滕·沃尔夫 使用CEGAR方法求解有限线性路径CTL公式。 (英语) Zbl 1464.68253号 Koutny,Maciej(编辑)等人,《Petri网和其他并发模型事务》十五。柏林:斯普林格。莱克特。注释计算。科学。12530, 150-164 (2021).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Liebke}和\textit{K.Wolf},莱克特。注释计算。科学。12530、150-164(2021年;Zbl 1464.68253) 全文: 内政部
弗兰克·卡塞兹;Jensen,Peter Gjøl;拉森·金(Larsen Kim Guldstrand) 使用跟踪抽象细化的实时程序的验证和参数合成。 (英语) Zbl 1478.68053号 芬丹。通知。 178,编号1-2,31-57(2021).MSC公司:68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Cassez}等人,Fundam。通知。178,编号1-2,31-57(2021;兹bl 1478.68053) 全文: 内政部 arXiv公司
亚历山大·洛赫曼;阿尔特·米德尔多普 重写一阶理论中无限和正规形式谓词的形式化证明。 (英语) Zbl 1483.68149号 Biere,Armin(编辑)等人,《系统构建和分析的工具和算法》。第26届国际会议,TACAS 2020,作为欧洲软件理论与实践联合会议的一部分,于2020年4月25日至30日在爱尔兰都柏林举行。诉讼程序。第二部分。查姆:斯普林格。莱克特。注释计算。科学。12079, 178-194 (2020).MSC公司:2012年第68季度 03B70号 65年第68季度 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Lochmann}和\textit{A.Middeldorp},莱克托。注释计算。科学。12079、178--194(2020;Zbl 1483.68149) 全文: 内政部
佩德罗·夸雷斯马 几何中的自动演绎和知识管理。 (英语) Zbl 1474.68453号 数学。计算。科学。 14,编号4673-692(2020).MSC公司:68伏15 51-08 68伏30 PDF格式BibTeX公司 XML格式引用 \textit{P.Quaresma},数学。计算。科学。14,第4号,673--692(2020;Zbl 1474.68453) 全文: 内政部
约尔格恩德鲁利斯;扬·威廉·克鲁普;Overbeek,罗伊 汇流和换向的递减图。 (英语) Zbl 1528.68158号 日志。方法计算。科学。 16,第1号,第23号论文,第25页(2020年).MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Endrullis}等人,《日志》。方法计算。科学。16,第1号,第23号论文,25页(2020年;Zbl 1528.68158) 全文: arXiv公司 链接