On global word definability and constructively definable sets in N::n::

Marek Karpinski. On global word definability and constructively definable sets in N::n::. In Proc. 5eme Colleque de Lille sur les Arbres en Algebre et en Programmation, Lilli, France, 21, 22 et 23 fĂ©vier 1980. pages 225-227, Université de Lille 1, 1980.

Abstract

Abstract is missing.