Sciweavers

Share
CORR
2008
Springer

Automated Termination Proofs for Logic Programs by Term Rewriting

8 years 2 months ago
Automated Termination Proofs for Logic Programs by Term Rewriting
Peter Schneider-Kamp, Jürgen Giesl, Alexander
Added 09 Dec 2010
Updated 09 Dec 2010
Type Journal
Year 2008
Where CORR
Authors Peter Schneider-Kamp, Jürgen Giesl, Alexander Serebrenik, René Thiemann
Comments (0)
books