Sciweavers

Uniqueness of Normal Forms is Decidable for Shallow Term Rewrite Systems
Recent countries visiting this post
Uniqueness of Normal Forms is Decidable for Shallow Term Rewrite Systems
us9United States
ru1Russian Federation