학술논문
On the decidability and complexity of the structural congruence for beta-binders
Document Type
Article
Author
Source
In Theoretical Computer Science 2008 404(1):156-169
Subject
Language
ISSN
0304-3975