A representation of recursively enumerable sets through Horn formulas in higher recursion theory
Crossref DOI link: https://doi.org/10.1007/s10998-016-0148-x
Published Online: 2016-06-20
Published Print: 2016-09
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Nido Valencia, Juan A.
SolĂs Daun, Julio E.
Villegas Silva, Luis M.
License valid from 2016-06-20