Sciweavers

Weakly-non-overlapping non-collapsing shallow term rewriting systems are confluent
Recent countries visiting this post
Weakly-non-overlapping non-collapsing shallow term rewriting systems are confluent
us2United States
ru1Russian Federation