第19届国际逻辑与语义框架工作会议（LSFA）论文集
计算机科学中的逻辑
2025-06-06 v1 符号计算
摘要
本卷包含第19届LSFA会议的后续论文集，该会议于2024年9月18日至20日在巴西盖罗纳亚（Goiânia）举行。逻辑与语义框架是用于表示逻辑、语言和系统的形式语言。这些框架为系统和编程语言的形式化规范提供了基础，支持工具开发和推理。该系列旨在汇聚理论学者和实践者，推动新技术和结果的发展，来自理论侧，以及来自实际侧对此类技术和结果的实施和使用反馈。LSFA涵盖包括证明与类型论、等式演绎与重写系统、自动推理与并发理论等领域。
引用
@article{arxiv.2506.05219,
title = {Proceedings of the 19th International Workshop on Logical and Semantic Frameworks, with Applications},
author = {Cynthia Kop and Helida Salles Santos},
journal= {arXiv preprint arXiv:2506.05219},
year = {2025}
}