Sciweavers

On the decidability and complexity of the structural congruence for beta-binders
Recent countries visiting this post
On the decidability and complexity of the structural congruence for beta-binders
us3United States