Sciweavers

63
Voted
CADE
2006
Springer
15 years 9 months ago
Automatic Termination Proofs in the Dependency Pair Framework
Jürgen Giesl, Peter Schneider-Kamp, Ren&eacut...