research
∙
08/15/2023
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 ...
share
research
∙
07/26/2023
Old and New Benchmarks for Relative Termination of String Rewrite Systems
We provide a critical assessment of the current set of benchmarks for re...
research
∙
03/03/2020
