Abstract
AbstractWe consider two generalizations of the recursion theorem, namely Visser’s ADN theorem and Arslanov’s completeness criterion, and we prove a joint generalization of these theorems.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have