Matthias Raffelsieper
- Automated termination proofs for haskell by term rewriting
2011/01/01 by Jürgen Giesl, Matthias Raffelsieper, Peter Schneider-Kamp +3 · 1 citation
Computer Science · #Formal Methods in Verification #Logic, Reasoning, and Knowledge #Logic, programming, and type systems