Ad Astra Awards
Ad Astra Journal
Science library
White book
University rankings
Who's who
Publications
Theses and dissertations
Ad Astra association
 
Press releases
News
Events
Funding opportunities
 
Login
Registration
 
>> Românã
 
   
 

Cristian Calude and Gabriel Istrate. Determining and Stationary Sets for Some Classes of Partial Recursive Functions. Theoretical Computer Science, 82(1), pp. 151-155, 1991.

Abstract: 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.

Keywords: determining/stationary sets, co-immune sets

URL: http://dx.doi.org/10.1016/0304-3975(91)90178-5

Posted by Gabriel Istrate

Back

   
© Ad Astra 2001-2013