The 19th International Workshop on Termination (WST 2023): Preface, Invited Talk Abstract, and Tool Descriptions
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).
READ FULL TEXT