Pascal and Francis Bibliographic Databases

Help

Search results

Your search

kw.\*:("RECURSIVE FUNCTION")

Document Type [dt]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Publication Year[py]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Discipline (document) [di]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Language

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Author Country

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Results 1 to 25 of 617

  • Page / 25

Export

Selection :

  • and

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 2-FUNKTIONEN = UN THEOREME DE FORME NORMALE POUR DES FONCTIONS SIGMA 2KLETTE 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

EXISTENCE DU DEGRE DE PROLONGEMENT D'UNE FONCTION PARTIELLEMENT RECURSIVE, DIFFERENT DU DEGRE DE SEPARABILITEDYMENT EZ.1982; MAT. ZAMET.; ISSN 507075; SUN; DA. 1982; VOL. 32; NO 1; PP. 83-88; BIBL. 3 REF.Article

AN EFFECTIVE SELECTION THEOREMASHOK MAITRA.1982; J. SYMB. LOGIC; ISSN 0022-4812; USA; DA. 1982; VOL. 47; NO 2; PP. 388-394; BIBL. 11 REF.Article

EQUIVALENCE OF SOME HIERARCHIES OF PRIMITIVE RECURSIVE FUNCTIONSHARROW K.1979; Z. MATH. LOGIK GRUNDL. MATH.; DDR; DA. 1979; VOL. 25; NO 5; PP. 411-418; BIBL. 20 REF.Article

CLASSES OF ONE-ARGUMENT RECURSIVE FUNCTIONS.GEORGIEVA NV.1976; Z. MATH. LOGIK GRUNDL. MATH.; DTSCH.; DA. 1976; VOL. 22; NO 2; PP. 127-130; BIBL. 5 REF.Article

ON DEFINITION TREES OF ORDINAL RECURSIVE FUNCTIONALS: REDUCTION OF THE RECURSION ORDERS BY MEANS OF TYPE LEVEL RAISINGTERLOUW J.1982; J. SYMB. LOGIC; ISSN 0022-4812; USA; DA. 1982; VOL. 47; NO 2; PP. 395-402; BIBL. 10 REF.Article

MAJORATION DES FONCTIONS OMEGA 1 CK-RECURSIVES PAR DES OMEGA -ECHELLES PRIMITIVES-RECURSIVESMASSERON MARCEL.1980; ; FRA; DA. 1980; 36 P.; 30 CM; BIBL. 7 REF.; TH. 3E CYCLE: MATH./PARIS 13/1980Thesis

ON RECURSIVE, NON-PRIMITIVE RECURSIVE FUNCTIONSCALUDE C; FANTANEANU B.1978; BULL. MATH. SOC. SCI. MATH. REPUBL. SOCIAL. ROUMAN.; ROM; DA. 1978; VOL. 22; NO 4; PP. 355-358; 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

THE SIMULATION RELATIONS BETWEEN THE CLASSES OF ALGORITHMSCAZACU M.1980; BUL. INST. POLITEH. IASI SECT. 1; ISSN 0304-5188; ROM; DA. 1980; VOL. 26; NO 1-2; PP. 17-21; ABS. RUM; BIBL. 4 REF.Article

A GLOBAL REPRESENTATION OF THE RECURSIVE FUNCTIONS IN THE LAMBDA -CALCULUS.BARENDREGT H.1977; THEOR. COMPUT. SCI.; NETHERL.; DA. 1977; VOL. 3; NO 2; PP. 225-242; BIBL. 16 REF.Article

  • Page / 25