Travelled to:
1 × The Netherlands
Collaborated with:
A.Bau M.Lohrey J.Waldmann
Talks about:
compress (1) analysi (1) termin (1) system (1) rewrit (1)
Person: Eric Nöth
DBLP: N=ouml=th:Eric
Contributed to:
Wrote 1 papers:
- RTA-2013-BauLNW #analysis #term rewriting #termination
- Compression of Rewriting Systems for Termination Analysis (AB, ML, EN, JW), pp. 97–112.