第19届国际终止工作坊（WST 2023）：前言、受邀演讲摘要和工具描述
摘要：第19届终止国际研讨会的会议记录（WST 2023），该活动于8月24日至25日在奥贝格格尔举行，作为奥贝格格尔重写夏季学校（OSR 2023）的一部分。
作者：Akihisa Yamada, Benjamin Lucien Kaminski, Dieter Hofbauer, Fred Mesnard, ''Etienne Payet
论文ID：2308.09536
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-08-21