recursion theorem
related: computation machine
related: recursive functions
broader: theorems of computer science
preferred label: قضیه بازگشت @fa
type: Concept

theorems of computer science
preferred label: قضایای علوم کامپیوتر @fa
type: Concept
narrower: recursion theorem

computation machine
preferred label: ماشین محاسبه @fa
type: Concept
related: recursion theorem

recursive functions
preferred label: توابع بازگشتی @fa
type: Concept
related: recursion theorem