第17届逻辑与语义框架及其应用国际研讨会会议录
计算机科学中的逻辑
2023-03-23 v1
摘要
本卷收录了由巴西米纳斯吉拉斯联邦大学组织的第十七届逻辑与语义框架及其应用研讨会(LSFA 2022)的会后论文集。由于 COVID-19 大流行,会议于 2022 年 9 月 23-24 日以线上线下混合形式举行。LSFA 旨在汇聚对逻辑与语义框架及其应用的理论与实践方面感兴趣的研究人员和学生。涵盖的主题包括证明论、类型论与重写理论、规范与演绎语言,以及语言与系统的形式语义。
引用
@article{arxiv.2303.12680,
title = {Proceedings 17th International Workshop on Logical and Semantic Frameworks with Applications},
author = {Daniele Nantes-Sobrinho and Pascal Fontaine},
journal= {arXiv preprint arXiv:2303.12680},
year = {2023}
}