9th International Conference on Formal Structures for Computation and Deduction

被引：0

作者：

Rehof, Jakob ^{[1
,2
]}

机构：

[1] TU Dortmund University, Germany

[2] Lamarr Institute for Machine Learning and Artificial Intelligence, Dortmund, Germany

来源：

Leibniz International Proceedings in Informatics, LIPIcs | 2024年 / 299卷

关键词：

D O I：

10.4230/LIPIcs.FSCD.2024.0

中图分类号：

学科分类号：

摘要：

引用