Results 251 to 254 of about 501 (254)
Some of the next articles are maybe not open access.
A representation of recursively enumerable sets through Horn formulas in higher recursion theory
Periodica Mathematica Hungarica, 2016exaly
Representation of recursively enumerable languages using alternating finite tree recognizers
1989openaire +1 more source

