Travelled to:1 × The Netherlands
1 × United Kingdom
Collaborated with:M.Schmidt-Schauß D.Sabel
Talks about:transform (1) algorithm (1) program (1) problem (1) equival (1) correct (1) complex (1) termin (1) extend (1)
Person: Conrad Rau
DBLP: Rau:Conrad
Contributed to:
2013
2012Wrote 2 papers:
- RTA-2013-Schmidt-SchaussRS #algorithm #complexity
- Algorithms for Extended α-Equivalence and Complexity (MSS, CR, DS), pp. 255–270.
- IJCAR-2012-RauSS #correctness #problem #program transformation #termination
- Correctness of Program Transformations as a Termination Problem (CR, DS, MSS), pp. 462–476.