Sciweavers

On the decidability and complexity of the structural congruence for beta-binders
Recent Google, Yahoo, MSN search queries leading to this post
On the decidability and complexity of the structural congruence for beta-binders
Data is not available yet.