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...
share
research
∙
09/02/2020
Check Your (Students') Proofs-With Holes
Cyp (Check Your Proofs) (Durner and Noschinski 2013; Traytel 2019) verif...
research
∙
03/03/2020
Sparse Tiling through Overlap Closures for Termination of String Rewriting
We over-approximate reachability sets in string rewriting by languages d...
research
∙
08/24/2018