Sciweavers

RTA
1995
Springer

Rewrite Systems for Integer Arithmetic

14 years 4 months ago
Rewrite Systems for Integer Arithmetic
H. R. Walters, Hans Zantema
Added 26 Aug 2010
Updated 26 Aug 2010
Type Conference
Year 1995
Where RTA
Authors H. R. Walters, Hans Zantema
Comments (0)