The 19th International Workshop on Termination (WST 2023): Preface, Invited Talk Abstract, and Tool Descriptions

08/15/2023

∙

by   Akihisa Yamada, et al.

∙

0

∙

share

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).