THE THEORY OF RECURSIVE FUNCTIONS, APPROACHING ITS CENTENNIALKLEENE SC.1981; BULL. AM. MATH. SOC.; ISSN 0002-9904; USA; DA. 1981; VOL. 5; NO 1; PP. 43-61; BIBL. 3 P.Article

ORIGINS OF RECURSIVE FUNCTION THEORYKLEENE SC.1979; ANNUAL SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE. 20/1979/SAN JUAN P.R.; USA; NEW YORK: INSTITUTE OF ELECTRICAL AND ELECTRONICS ENGINEERS; DA. 1979; PP. 371-382; BIBL. 3 P.Conference Paper

EIN NORMALFORMENTHEOREM FUER SIGMA ₂-FUNKTIONEN = UN THEOREME DE FORME NORMALE POUR DES FONCTIONS SIGMA ₂KLETTE R; GOETZE B.1978; ELEKTRON. INFORM.-VERARBEIT. KYBERN.; DDR; DA. 1978; VOL. 14; NO 5; PP. 251-256; ABS. ENG/RUS; BIBL. 6 REF.Article

RELATIONS ENTRE LES DIFFERENTS TYPES DE CALCULABILITE RELATIVE DES FONCTIONSPOLYAKOV EA; ROZINAS MG.1978; MAT. SBOR; SUN; DA. 1978; VOL. 107; NO 1; PP. 134-145; BIBL. 11 REF.Article

EIN REKURSIVDEFINIERTES GEORDNETES PAAR. = UNE PAIRE ORDONNEE DEFINIE RECURSIVEMAURER C.1976; Z. MATH. LOGIK GRUNDL. MATH.; DTSCH.; DA. 1976; VOL. 22; NO 3; PP. 211-214; BIBL. 5 REF.Article

BUSY BEAVER SETS: CHARACTERIZATIONS AND APPLICATIONSDALEY RP.1982; INFORMATION AND CONTROL; ISSN 0019-9958; USA; DA. 1982; VOL. 52; NO 1; PP. 52-67; BIBL. 10 REF.Article

CONSTRUCTIVELY NONPARTIAL RECURSIVE FUNCTIONSHOROWITZ BM.1980; NOTRE DAME J. FORM. LOGIC; USA; DA. 1980; VOL. 21; NO 2; PP. 273-276; BIBL. 3 REF.Article

CARACTERE QUASI DE PEANO DES FONCTIONS RECURSIVESMARCHENKOV SS.1979; PROBL. KIBERN.; SUN; DA. 1979; NO 35; PP. 199-204; BIBL. 6 REF.Article

INDEXMENGEN UND ERKENNUNG REKURSIVER FUNKTIONEN. = ENSEMBLES D'INDICES ET RECONNAISSANCE DE FONCTIONS RECURSIVESKLETTE R.1976; Z. MATH. LOGIK GRUNDL. MATH.; DTSCH.; DA. 1976; VOL. 22; NO 3; PP. 231-238; BIBL. 10 REF.Article

RECURSIVE FUNCTIONS WITH MEASURABLE ORACLES: AN APPROACH TO A PROBABILISTIC RECURSION THEORYSTEFANI S.1980; BOLL. UN. MAT. ITAL.; ITA; DA. 1980; VOL. 17B; NO 2; PP. 634-649; ABS. ITA; BIBL. 10 REF.Article

METHODES CATEGORIQUES EN CALCULABILITE. I. FONCTIONS RECURSIVES ET RECURSIVES NON PRIMITIVESCALUDE C.1978; STUD. CERC. MAT.; ROMAN.; DA. 1978; VOL. 30; NO 3; PP. 253-277; ABS. ANGL.; BIBL. 2 P. 1/2Article

ALLGEMEINE UNTERSUCHUNGEN ZUR ENTSCHEIDBARKEIT UND TRENNBARKEIT BEZUEGLICH KODIERUNGEN. = ETUDE GENERALE SUR LA CAPACITE DE DECISION ET LA CAPACITE DE SEPARATION EN CE QUI CONCERNE LES CODAGESHEMMERLING A.1977; ELEKTRON. INFORM.-VERARBEIT. KYBERN.; DTSCH.; DA. 1977; VOL. 13; NO 6; PP. 295-309; ABS. ANGL. RUSSE; BIBL. 4 REF.Article

UN EXEMPLE SIMPLE D'APPRENTISSAGE AU 1ER ET AU 2EME ORDRE.KODRATOFF Y.sdIN: COMPREHENSION. SEMIN. JOURN.; ARC ET SENANS; 1977; LE CHESNAY; INST. RECH. INF. AUTOM.; DA. S.D.; PP. (3P.)Conference Paper

HIERARCHIES OF ONE ARGUMENT PRIMITIVE RECURSIVE FUNCTIONS.GEORGIEVA N.1976; C. R. ACAD. BULG. SCI.; BULG.; DA. 1976; VOL. 29; NO 7; PP. 919-922; BIBL. 4 REF.Article

THEOREME RELATIF AU CARACTERE INDEMONTRABLE DES BORNES INFERIEURES TEMPORELLES POUR QUELQUES CLASSES DE FONCTIONSMAKAROV II.1979; VEROJATN. METODY KIBERN.; SUN; DA. 1979; NO 15; PP. 48-50; BIBL. 1 REF.Article

SUR L'ACCELERATION DE L'IDENTIFICATION LIMITE DES FONCTIONS RECURSIVES PAR UN CHANGEMENT DE L'ORDRE DES QUESTIONSKINDER EB.1977; ELEKTRON. INFORM.-VERARBEIT. KYBERN.; DTSCH.; DA. 1977; VOL. 13; NO 7-8; PP. 369-383; ABS. ANGL. ALLEM.; BIBL. 9 REF.Article

APPLICATIONS OF CLASSICAL RECURSION THEORY TO COMPUTER SCIENCESMITH CH.1980; LONDON MATH. SOC. LECTURE NOTE SER.; GBR; DA. 1980; NO 45; PP. 236-247; BIBL. 2 P.Conference Paper

ON THE SETS OF MINIMAL INDICES OF PARTIAL RECURSIVE FUNCTIONSMARANDZJAN GB.1979; LECTURE NOTES COMPUTER SCI.; DEU; DA. 1979; VOL. 74; PP. 372-374; BIBL. 3 REF.Conference Paper

SOME PREDICTION ALGORITHMS FOR NONRECURSIVE SEQUENCES.MELLISH MJ.1978; INFORM. AND CONTROL; U.S.A.; DA. 1978; VOL. 37; NO 2; PP. 234-239; BIBL. 5 REF.Article

SOUS-ALGEBRES MAXIMALES DES ALGEBRES DE FONCTIONS RECURSIVESBEREZIN SA.1978; KIBERNETIKA; UKR; DA. 1978; NO 6; PP. 123-125; ABS. ENG; BIBL. 8 REF.Article

ALGEBRE DES PROPRIETES INVARIANTES DES SUITES BINAIRESV'YUGIN VV.1982; PROBL. PEREDA. INF.; ISSN 0555-2923; SUN; DA. 1982; VOL. 18; NO 2; PP. 83-100; BIBL. 17 REF.Article

LOOP-PROGRAMS AND POLYNOMIALLY COMPUTABLE FUNCTIONSAMIHUD A; CHOUEKA Y.1981; INT. J. COMPUT. MATH.; ISSN 0020-7160; GBR; DA. 1981; VOL. 9; NO 3; PP. 195-205; BIBL. 3 REF.Article

UN MODELE ARITHMETIQUE DES TERMES DE LA LOGIQUE COMBINATOIREBOHM C.1979; LAMBDA CALCUL ET SEMANTIQUE FORMELLE DES LANGAGES DE PROGRAMMATION. ECOLE DE PRINTEMPS D'INFORMATIQUE THEORIQUE. 6/1978/LA CHATRE; FRA; PARIS: LABORATOIRE D'INFORMATIQUE THEORIQUE ET PROGRAMMATION/PARIS: ECOLE NATIONALE SUPERIEURE DE TECHNIQUES AVANCEES; DA. 1979; PP. 97-108; BIBL. 7 REF.Conference Paper

M-DEGRES MAXIMAUXKOVZEV GN.1977; SOOBSHCH. AKAD. NAUK GRUZ.S.S.R.; S.S.S.R.; DA. 1977; VOL. 85; NO 2; PP. 325-327; ABS. GEORGIEN ANGL.; BIBL. 2 REF.Article

REDUCTIBILITE SUIVANT L'ENUMERABILITEPOLYAKOV EA; ROZINAS MG.1977; SIBIR. MAT. ZH.; S.S.S.R.; DA. 1977; VOL. 18; NO 4; PP. 838-845; BIBL. 7 REF.Article