Barbosa, H., & Ringeissen, C. (2025). Proceedings Twentieth International Symposium on Logical and Semantic Frameworks with Applications. Electronic proceedings in theoretical computer science, 430, . https://doi.org/10.48550/ARXIV.2509.23739
Chicago-Zitierstil (17. Ausg.)Barbosa, Haniel, und Christophe Ringeissen. "Proceedings Twentieth International Symposium on Logical and Semantic Frameworks with Applications." Electronic Proceedings in Theoretical Computer Science 430 (2025). https://doi.org/10.48550/ARXIV.2509.23739.
MLA-Zitierstil (9. Ausg.)Barbosa, Haniel, und Christophe Ringeissen. "Proceedings Twentieth International Symposium on Logical and Semantic Frameworks with Applications." Electronic Proceedings in Theoretical Computer Science, vol. 430, 2025, https://doi.org/10.48550/ARXIV.2509.23739.