Isomorphism theorem for BSS recursively enumerable sets over real closed fields

Publisher： Elsevier

ISSN： 0304-3975

Source： Theoretical Computer Science, Vol.231, Iss.2, 2000-01, pp. : 253-273

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Effectively closed sets and graphs of computable real functions

By Cenzer D. Remmel J.B.

Theoretical Computer Science, Vol. 284, Iss. 2, 2002-07 ,pp. : 279-318

Elsevier

Access to resources Recommend Favorite

Characterizations of recursively enumerable languages by means of insertion grammars

By Martin-Vide C. Paun G. Salomaa A.

Theoretical Computer Science, Vol. 205, Iss. 1, 1998-08 ,pp. : 195-205

Elsevier

Access to resources Recommend Favorite

Most general first order theorems are not recursively enumerable

By Schurz G.

Theoretical Computer Science, Vol. 147, Iss. 1, 1995-08 ,pp. : 149-163

Elsevier

Access to resources Recommend Favorite

On representing recursively enumerable languages by internal contextual languages

By Ehrenfeucht A. Paun G. Rozenberg G.

Theoretical Computer Science, Vol. 205, Iss. 1, 1998-08 ,pp. : 61-83

Elsevier

Access to resources Recommend Favorite

Homomorphic characterizations of recursively enumerable languages with very small language classes

By Okawa S. Hirose S.

Theoretical Computer Science, Vol. 250, Iss. 1, 2001-01 ,pp. : 55-69

Elsevier

Access to resources Recommend Favorite