阿尔特·米德尔多普;亚历山大·洛赫曼;费比安·米特沃纳 线性变量分离重写系统重写的一阶理论:自动化、形式化、认证。 (英语) 兹伯利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) 全文: 内政部
艾米·费尔蒂(编辑);阿尔特·米德尔多普(编辑) 前言:2015年CADE扩展论文精选。 (英语) Zbl 1365.00059号 J.自动化。推理 58,编号311-312(2017).MSC公司:00B25型 68-06 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{A.Felty}(编辑)和\textit{A.Middeldorp}(主编),J.Autom。推理58,No.3,311--312(2017;Zbl 1365.00059) 全文: 内政部
哈拉尔德·赞克;费尔根豪尔,伯特伦;阿尔特·米德尔多普 减少图表的标签。 (英语) Zbl 1315.68226号 J.自动化。推理 54,第2期,101-133(2015).MSC公司:第68页第15页 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Zankl}等人,J.Autom。推理54,No.2,101--133(2015;Zbl 1315.68226) 全文: 内政部
Nao Hirokawa;阿尔特·米德尔多普;哈拉尔德·赞克 不急于终止和复杂性。 (英语) Zbl 1286.68262号 J.自动化。推理 50,第3号,279-315(2013).MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Hirokawa}等人,J.Autom。推理50,No.3,279--315(2013;Zbl 1286.68262) 全文: 内政部
莎拉·温克勒;佐藤、晴彦;阿尔特·米德尔多普;栗原、Masahito 带端接工具的多功能补偿器。 (英语) Zbl 1362.68253号 J.自动化。推理 50,编号:317-354(2013).MSC公司:第68页第15页 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Winkler}等人,J.Autom。推理50,No.3,317--354(2013;Zbl 1362.68253) 全文: 内政部
Nao Hirokawa;阿尔特·米德尔多普 减少图表和相对终止。 (英语) Zbl 1243.68199号 J.自动化。推理 47,第4期,481-501(2011).MSC公司:2012年第68季度 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{N.Hirokawa}和\textit{A.Middeldorp},J.Autom。推理47,No.4,481--501(2011;Zbl 1243.68199) 全文: 内政部
哈拉尔德·赞克;Nao Hirokawa;阿尔特·米德尔多普 KBO定向能力。 (英语) Zbl 1184.68303号 J.自动化。推理 43,第2期,173-201(2009).MSC公司:2012年第68季度 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{H.Zankl}等人,J.Autom。推理43,第2173-201号(2009年;兹bl 1184.68303) 全文: 内政部