第19届终止性问题国际研讨会（WST 2023）：前言、特邀报告摘要与工具描述
计算机科学中的逻辑
2023-08-21 v1
摘要
本报告收录第19届终止性问题国际研讨会（WST 2023）的会议论文集，该会议于8月24日至25日在 Obergurgl 举行，作为 Obergurgl 重写暑期（OSR 2023）的一部分。
引用
@article{arxiv.2308.09536,
title = {The 19th International Workshop on Termination (WST 2023): Preface, Invited Talk Abstract, and Tool Descriptions},
author = {Akihisa Yamada and Benjamin Lucien Kaminski and Dieter Hofbauer and Fred Mesnard and Étienne Payet},
journal= {arXiv preprint arXiv:2308.09536},
year = {2023}
}