Scopul nostru este sprijinirea şi promovarea cercetării ştiinţifice şi facilitarea comunicării între cercetătorii români din întreaga lume.
Domenii publicaţii > Ştiinţe informatice + Tipuri publicaţii > Articol în revistã ştiinţificã
Autori: Cristian Calude and Gabriel Istrate
Editorial: Theoretical Computer Science, 82(1), p. 151-155, 1991.
Rezumat:
In analogy with the case of real functions we introduce and study the determining and stationary sets for some classes of unary p.r. functions, including the recursive and primitive recursive functions. As a by-product, a new characterization of Post simple sets is obtained.
Cuvinte cheie: determining/stationary sets, co-immune sets