L
Luis Miguel Villegas Silva
Researcher at Universidad Autónoma Metropolitana
Publications - 1
Citations - 2
Luis Miguel Villegas Silva is an academic researcher from Universidad Autónoma Metropolitana. 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).