Proceedings Twentieth International Symposium on Logical and Semantic Frameworks with Applications
计算机科学中的逻辑
2025-09-30 v1
摘要
本卷包含第 20 届逻辑与语义框架及其应用研讨会（LSFA 2025）的论文集，该研讨会于 2025 年 10 月 7 日至 10 月 8 日在巴西里亚尔举行。LSFA 系列研讨会的目标是汇聚理论家和实践者，推动从理论层面的新技术与成果，以及从实践层面对此类技术与成果的反馈。LSFA 包括证明与类型理论、等式演绎与重写系统、自动推理与并发理论等领域。
引用
@article{arxiv.2509.23739,
title = {Proceedings Twentieth International Symposium on Logical and Semantic Frameworks with Applications},
author = {Haniel Barbosa and Christophe Ringeissen},
journal= {arXiv preprint arXiv:2509.23739},
year = {2025}
}