加载中…
2023-08-15
The 19th International Workshop on Termination (WST 2023): Preface, Invited Talk Abstract, and Tool Descriptions
Akihisa YamadaBenjamin Lucien KaminskiDieter HofbauerFred MesnardÉtienne Payet
文献摘要
This report contains the proceedings of the 19th International Workshop on Termination (WST 2023), which was held in Obergurgl during August 24–25 as part of Obergurgl Summer on Rewriting (OSR 2023).
讨论
0讲解博客
生成讲解博客的中文版本
AI智能校验
生成AI智能校验的中文版本