Fuhs, Carsten

1. Polynomial Interpretations for Higher-Order Rewriting
   2012/03/26 by Fuhs, Carsten, Kop, Cynthia · 2 citations
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
2. Verifying Procedural Programs via Constrained Rewriting Induction
   2014/08/30 by Carsten Fuhs, Cynthia Kop, Fuhs, Carsten +3 · 3 citations
   Computer Science · #D.2.4 #FOS: Computer and information sciences #Formal Methods in Verification #I.2.3 #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Security and Verification in Computing
3. 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