Results 231 to 233 of about 550 (233)
Some of the next articles are maybe not open access.
Interpretability and Definability in the Recursively Enumerable Degrees
Proceedings of the London Mathematical Society, 1998exaly
Representation of recursively enumerable languages using alternating finite tree recognizers
1989openaire +1 more source