Juan A. Nido Valencia

Publication Activity (10 Years)

Years Active: 2016-2016
Publications (10 Years): 1

Top Topics

Knowledge Compilation

Deductive Databases

Top Venues

Period. Math. Hung.

Publications

Juan A. Nido Valencia, Julio Solís-Daun, Luis M. Villegas Silva
A representation of recursively enumerable sets through Horn formulas in higher recursion theory. Period. Math. Hung. 73 (1) (2016)