SAT Solving for Termination Proofs with Recursive Path Orders and Dependency Pairs
Michael Codish, Jürgen Giesl, Peter Schneider-Kamp, René ThiemannVolume:
49
Language:
english
Pages:
41
DOI:
10.1007/s10817-010-9211-0
Date:
June, 2012
File:
PDF, 673 KB
english, 2012