Sciweavers

A polynomial algorithm for uniqueness of normal forms of linear shallow term rewrite systems
Recent Google, Yahoo, MSN search queries leading to this post
A polynomial algorithm for uniqueness of normal forms of linear shallow term rewrite systems
Data is not available yet.