activity
20102026
most citedLocal Termination: theory and practice

9 citations · 13 across the 8 of their papers we have counts for

collaborators
Showing 2023Show all

1 paper · 1 filter

cs.LO2023

Old and New Benchmarks for Relative Termination of String Rewrite Systems

Dieter Hofbauer, Johannes Waldmann

We provide a critical assessment of the current set of benchmarks for relative SRS termination in the Termination Problems Database (TPDB): most of the benchmarks in Waldmann_19 an…