J
Juan A. Nido Valencia
Researcher at Universidad Autónoma de la Ciudad de México
Publications - 1
Citations - 2
Juan A. Nido Valencia is an academic researcher from Universidad Autónoma de la Ciudad de México. The author has contributed to research in topics: Mutual recursion & Double recursion. The author has an hindex of 1, co-authored 1 publications receiving 2 citations.
Papers
More filters
Journal ArticleDOI
A representation of recursively enumerable sets through Horn formulas in higher recursion theory
TL;DR: It is proved that, under suitable conditions, a set defined through a Horn theory in a set \(\mathfrak {A}\) is recursively enumerable in models of a higher recursion theory, like primitive set recursion, \(\alpha \)-recursion, or \(\beta -recursion).