Sciweavers

AAECC
2010
Springer

A polynomial algorithm for uniqueness of normal forms of linear shallow term rewrite systems

13 years 11 months ago
A polynomial algorithm for uniqueness of normal forms of linear shallow term rewrite systems
Julian Zinn, Rakesh M. Verma
Added 08 Dec 2010
Updated 08 Dec 2010
Type Journal
Year 2010
Where AAECC
Authors Julian Zinn, Rakesh M. Verma
Comments (0)