Title of article :
Intersection and Singleton Type Assignment Characterizing Finite Böhm-Trees
Author/Authors :
Toshihiko Kurata، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2002
Journal title :
Information and Computation
Journal title :
Information and Computation