Travelled to:1 × Austria
1 × Brazil
Collaborated with:J.Giesl C.Fuhs P.Schneider-Kamp S.Falke M.Brockschmidt F.Emmes F.Frohn C.Otto T.Ströder S.Swiderski R.Thiemann
Talks about:termin (2) prove (2) program (1) automat (1) rewrit (1) integ (1) aprov (1) term (1)
Person: Martin Plücker
DBLP: Pl=uuml=cker:Martin
Contributed to:
2014
2009Wrote 2 papers:
- IJCAR-2014-GieslBEFFOPSSST #automation #proving #source code #termination
- Proving Termination of Programs Automatically with AProVE (JG, MB, FE, FF, CF, CO, MP, PSK, TS, SS, RT), pp. 184–191.
- RTA-2009-FuhsGPSF #integer #proving #term rewriting #termination
- Proving Termination of Integer Term Rewriting (CF, JG, MP, PSK, SF), pp. 32–47.