Title of article :
A Kleene characterization of computability
Author/Authors :
Joost Engelfriet، نويسنده ,
Issue Information :
دوهفته نامه با شماره پیاپی سال 2007
Keywords :
binary relation , Kleene , Recursive enumerable , Formal languages
Journal title :
Information Processing Letters
Journal title :
Information Processing Letters