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

08/15/2023
by   Akihisa Yamada, et al.
0

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

Please sign up or login with your details

Forgot password? Click here to reset