Sciweavers

Share
RTA
2009
Springer

Proving Termination of Integer Term Rewriting

10 years 7 months ago
Proving Termination of Integer Term Rewriting
Carsten Fuhs, Jürgen Giesl, Martin Plück
Added 27 May 2010
Updated 27 May 2010
Type Conference
Year 2009
Where RTA
Authors Carsten Fuhs, Jürgen Giesl, Martin Plücker, Peter Schneider-Kamp, Stephan Falke
Comments (0)
books