加布里埃尔·埃布纳;布兰切特,茉莉;索菲·托雷特 统一拆分。 (英语) 兹伯利07702722 J.汽车。推理 67,第2期,第16号论文,44页(2023年).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{G.Ebner}等人,J.Autom。推理67,第2期,第16号论文,第44页(2023;Zbl 07702722) 全文: 内政部 OA许可证
亚历山大·本特坎普;布兰切特,茉莉;索菲·托雷特;佩塔·武克米罗维奇;乌韦·沃尔德曼 与lambdas叠加。 (英语) Zbl 07433023号 J.汽车。推理 65,第7期,893-940(2021).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{A.Bentkamp}等人,J.Autom。推理65,No.7,893--940(2021;Zbl 07433023) 全文: 内政部 OA许可证