René Thiemann
- Implementing RPO and POLO using SAT
2007/01/01 by Peter Schneider–Kamp, Schneider-Kamp, Peter, Carsten Fuhs +13 · 1 citation
Computer Science · #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Advanced Database Systems and Queries
- 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
- Verification of Provers and Solvers
2026/07/28 by René Thiemann
#cs.LO #cs.SC