collaborators

1 paper

cs.LO2023

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

Akihisa Yamada, Benjamin Lucien Kaminski, Dieter Hofbauer +2

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 R…