Stephan Swiderski

1. Automated termination proofs for haskell by term rewriting
   2011/01/01 by Jürgen Giesl, Matthias Raffelsieper, Peter Schneider-Kamp +3 · 3 citations
   Computer Science · #Formal Methods in Verification #Logic, Reasoning, and Knowledge #Logic, programming, and type systems
2. Automated Termination Analysis for Haskell: From Term Rewriting to Programming Languages
   2006/01/01 by Jürgen Giesl, Stephan Swiderski, Peter Schneider–Kamp +2 · 1 citation
   Computer Science · #Formal Methods in Verification #Logic, programming, and type systems #Software Engineering Research