28 Jun
2024
28 Jun
'24
6:27 p.m.
Dear Jan-Christoph, thanks for explanations.
E.g., for relative termination we developed a new variant of DPs that I am going to present at IJCAR, which we use in our strategy for relative TRS and also showcase in the relative SRS strategy.
sounds great, and I am looking forward to the SRS-relative match ... I stole your idea (seen at termcomp 23) of removing epsilons by context closure. This seems better for matrix interpretations. - Johannes.