The 19th International Workshop on Termination (WST 2023): Preface, Invited Talk Abstract, and Tool Descriptions
Logic in Computer Science
2023-08-21 v1
Abstract
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).
Cite
@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}
}