Pascal and Francis Bibliographic Databases

Help

Search results

Your search

kw.\*:("FONCTION RECURSIVE")

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 695

  • Page / 28

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

THE DISJUNCTION PROPERTY IMPLICS THE NUMERICAL EXISTENCE PROPERTY. (INTUITIONISM/ARITHMETIC/FORMAL SYSTEMS/SELF REFERENCE).FRIEDMAN H.1975; PROC. NATION. ACAD. SCI. U.S.A.; U.S.A.; DA. 1975; VOL. 72; NO 8; PP. 2877-2878; BIBL. 8 REF.Article

QUELQUES EXEMPLES TOPOLOGIQUES D'ESPACES COMBINATOIRES ITERATIFSSKORDEV DG.1975; C.R. ACAD. BULG. SCI.; BULG.; DA. 1975; VOL. 28; NO 12; PP. 1575-1578; BIBL. 3 REF.Article

COMPLEXITY CLASSES OF PARTIAL RECURSIVE FUNCTIONS.ROBERTSON EL.1974; J. COMPUTER SYST. SCI.; U.S.A.; DA. 1974; VOL. 9; NO 1; PP. 69-87; BIBL. 16 REF.Article

COMPLEXITY OF THEOREM-PROVING PROCEDURES: SOME GENERAL PROPERTIES.LONGO G; VENTURINI ZILLI M.1974; REV. FR. AUTOMAT. INFORMAT. RECH. OPERAT., R; FR.; DA. 1974; VOL. 8; NO 3; PP. 5-18; BIBL. 11 REF.Article

PRIMITIVE RECURSIVE NOTATIONS FOR INFINITARY FORMULAS.BOWEN KA.1974; COLLOQ. MATH.; POLOGNE; DA. 1974; VOL. 30; NO 1; PP. 1-5; BIBL. 4 REF.Article

APPROXIMATIONS TABULAIRES DES PREDICATS RECURSIFSFREJDZON RI; FREIDSON RJ.1974; ZAP. NAUCH. SEMINAR. LENINGRAD. OTDEL. MAT. INST. V.A. STEKLOVA; S.S.S.R.; DA. 1974; VOL. 40; PP. 131-135; ABS. ANGL.; BIBL. 4 REF.Article

ON THE SIZE OF SETS OF COMPUTABLE FUNCTIONS.MEHLHORN K.1973; IN: ANNU. SYMP. SWITCHING AUTOM. THEORY. 14; IOWA CITY; 1973; NORTHRIDGE; INST. ELECTR. ELECTRON. ENG. INC.; DA. 1973; PP. 190-196; BIBL. 9 REF.Conference Paper

QUELQUES CARACTERISATIONS DES FONCTIONS RECURSIVES PARTIELLESGERMANO G; MAGGIOLO SCHETTINI A.1973; C.R. ACAD. SCI., A; FR.; DA. 1973; VOL. 276; NO 20; PP. 1325-1327; BIBL. 6 REF.Serial Issue

A NOTION OF HELPING AND PSEUDO-COMPLEMENTATION IN LATTICES OF HONEST SUBRECURSIVE CLASSES.MACHTEY M.1973; IN: ANNU. SYMP. SWITCHING AUTOM. THEORY. 14; IOWA CITY; 1973; NORTHRIDGE; INST. ELECTR. ELECTRON. ENG. INC.; DA. 1973; PP. 181-189; BIBL. 7 REF.Conference Paper

THE CATEGORY OF RECURSIVE FUNCTIONSGONSHOR H.1972; FUNDAM. MATH.; POLOGNE; DA. 1972; VOL. 75; NO 2; PP. 87-94; BIBL. 7 REF.Serial Issue

UNA NOTA SULLE FUNZIONI PARZIALI RICORSIVE = NOTE SUR LES FONCTIONS PARTIELLES RECURSIVESALOISIO P.1971; CALCOLO; ITAL.; DA. 1971; VOL. 8; NO 4; PP. 385-388; ABS. ANGL.; BIBL. 3 REF.Serial Issue

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

ON CHAIKIN'S ALGORITHM.RIESENFELD RF.1975; COMPUTER GRAPH. IMAGE PROCESSG; U.S.A.; DA. 1975; VOL. 4; NO 3; PP. 304-310; BIBL. 8 REF.Article

ON DEGREES OF UNSOLVABILITY AND COMPLEXITY PROPERTIES.MARQUES I.1975; J. SYMBOL. LOGIC; U.S.A.; DA. 1975; VOL. 40; NO 4; PP. 529-540; BIBL. 8 REF.Article

EINE BEMERKUNG ZUR BERECHNUNGSKOMPLIZIERTHEIT AUF REGISTERMASCHINEN. = UNE REMARQUE SUR LA COMPLEXITE DE CALCUL DANS LES MACHINES A REGISTREHECKER HD.1975; ELEKTRON. INFORM.-VERARBEIT. KYBERN.; DTSCH.; DA. 1975; VOL. 11; NO 7-8; PP. 437-438; ABS. ANGL. RUSSE; BIBL. 4 REF.Article

FLUSSBILDMASE - EIN VERSUCH ZUR DEFINITION NATUERLICHER KOMPLIZIERTHEITSMASSE. = MESURES D'ORGANIGRAMME. UNE ETUDE DE LA DEFINITION DES MESURES DE COMPLEXITE NATURELLESLISCHKE G.1975; ELEKTRON. INFORM.-VERARBEIT. KYBERN.; DTSCH.; DA. 1975; VOL. 11; NO 7-8; PP. 423-436; ABS. ANGL. RUSSE; BIBL. 9 REF.Article

PROGNOSE VON FOLGEN. = PROGNOSTIC DE SUITESWERNER G.1975; ELEKTRON. INFORM.-VERARBEIT. KYBERN.; DTSCH.; DA. 1975; VOL. 11; NO 10-12; PP. 649-653; BIBL. 5 REF.; (INT. SYMP. DISKRETE MATH. ANWEND. MATH. KYBERN.; BERLIN; 1974). RESUMEConference Paper

CLOSURE OPERATIONS ON MEASURES OF COMPUTATIONAL COMPLEXITY.ADRIANOPOLI F; DE LUCA A.1974; CALCOLO; ITAL.; DA. 1974; VOL. 11; NO 2; PP. 205-217; BIBL. 9 REF.Article

REDUCTIONS SURES DANS LE LAMBDA-CALCUL.LEVY JJ.1974; ; S.L.; DA. 1974; PP. 1-105; BIBL. 1 P. 1/2; (THESE DOCT. 3EME CYCLE, SPEC. MATH., MENTION INF. ALGEBRIQUE; PARIS VII)Thesis

PRIMITIV-REKURSIVE TRANSFORMATIONEN. = TRANSFORMATIONS PRIMITIVES RECURSIVESVON HENKE FW.1974; BER. GESELLSCH. MATH. DATENVERARBEIT.; DTSCH.; DA. 1974; NO 92; PP. 1-51; BIBL. 1 P. 1/2Article

SYNTHESE LIMITE DES NUMEROS DES FONCTIONS RECURSIVES GENERALES DANS DIFFERENTES NUMERATIONS CALCULABLESFREJVALD RV.1974; DOKL. AKAD. NAUK S.S.S.R.; S.S.S.R.; DA. 1974; VOL. 219; NO 4; PP. 812-814; BIBL. 9 REF.Article

  • Page / 28