Pascal and Francis Bibliographic Databases

Help

Search results

Your search

kw.\*:("ENSEMBLE RECURSIVEMENT ENUMERABLE")

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 177

  • Page / 8
Export

Selection :

  • and

MAXIMAL SETS IN ALPHA -RECURSION THEORYLERMAN M; SIMPSON SG.1973; ISRAEL J. MATH.; ISRAEL; DA. 1973; VOL. 14; NO 3; PP. 236-247; BIBL. 7 REF.Serial Issue

SUR LES DEGRES DES ENSEMBLES RECURSIVEMENT ENUMERABLESKALLIBEKOV S.1973; SIBIR. MAT. ZH.; S.S.S.R.; DA. 1973; VOL. 14; NO 2; PP. 421-426; BIBL. 7 REF.Serial Issue

RECURSIVELY ENUMERABLE MANY-ONE DEGREESLACHLAN AH.1972; ALGEBRA I LOGIKA, SEMINOR; S.S.S.R.; DA. 1972; VOL. 11; NO 3; PP. 326-358; BIBL. 1 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

RECURSIVELY ENUMERABLE GENERIC SETSMAASS W.1982; J. SYMB. LOGIC; ISSN 0022-4812; USA; DA. 1982; VOL. 47; NO 4; PP. 809-823; BIBL. 6 REF.Article

UNE GENERALISATION DES ENSEMBLES COHESIFSARTIGUE M.1973; C.R. ACAD. SCI., A; FR.; DA. 1973; VOL. 276; NO 16; PP. 1087-1090; BIBL. 3 REF.Serial Issue

SOME MINIMAL PAIRS OF ALPHA -RECURSIVELY ENUMERABLE DEGREESLERMAN M; SACKS GE.1972; ANN. MATH. LOGIC; NETHERL.; DA. 1972; VOL. 4; NO 4; PP. 415-442; BIBL. 8 REF.Serial Issue

UNE GENERALISATION DU THEOREME DE MYHILL-SHEPHERDSON AUX COMBINAISONS BOOLEENNES D'OUVERTS DONT UNE CLE EST RECURSIVEMENT ENUMERABLEGRASSIN J.1972; C.R. ACAD. SCI., A; FR.; DA. 1972; VOL. 275; NO 21; PP. 1023-1026; BIBL. 3 REF.Serial Issue

A NOTE ON NATURAL COMPLETE SETS AND GOEDEL NUMBERINGHARTMANIS J.1982; THEOR. COMPUT. SCI.; ISSN 0304-3975; NLD; DA. 1982; VOL. 17; NO 1; PP. 75-89; BIBL. 8 REF.Article

LA CALCULABILITE AU SENS DE MOSCHOVAKIS ET SA RELATION AVEC LA RECURSIVITE PARTIELLE PAR LA NUMERATIONDICHEV AV.1981; SERDIKA; ISSN 0204-4110; BGR; DA. 1981; VOL. 7; NO 2; PP. 117-130; BIBL. 5 REF.Article

NUMERATIONS INCOMPARABLESBADAEV SA.1974; SIBIR. MAT. ZH.; S.S.S.R.; DA. 1974; VOL. 15; NO 4; PP. 730-738; BIBL. 4 REF.Article

MINIMAL ALPHA -DEGREESSHORE RA.1972; ANN. MATH. LOGIC; NETHERL.; DA. 1972; VOL. 4; NO 4; PP. 393-414; BIBL. 14 REF.Serial Issue

REPRESENTATIONS ARITHMETIQUES DES ENSEMBLES RECURSIVEMENT ENUMERABLES AVEC UN PETIT NOMBRE DE QUANTIFICATEURSMATIYASEVICH YU V.1972; ZAP. NAUCH. SEMINAR. LENINGRAD. OTDEL. MAT. INST. V.A. STEKLOVA; S.S.S.R.; DA. 1972; VOL. 32; PP. 77-84; BIBL. 6 REF.Serial Issue

SUR LES CLASSES DISCRETES D'ENSEMBLES RECURSIVEMENT ENUMERABLESV'YUGIN VV.1972; ALGEGRA I LOGIKA, SEMINOR; S.S.S.R.; DA. 1972; VOL. 11; NO 3; PP. 243-256; BIBL. 5 REF.Serial Issue

SUR LES M-DEGRES DES ENSEMBLES SIMPLESDEGTEV AN.1972; ALGEBRA I LOGIKA, SEMINAR; S.S.S.R.; DA. 1972; VOL. 11; NO 2; PP. 130-139; BIBL. 5 REF.Serial Issue

RELATIVE RECURSIVE ENUMERABILITYSOARE RI; STOB M.1982; STUD. LOG. FOUND. MATH.; ISSN 0049-237X; NLD; DA. 1982; VOL. 107; PP. 299-324; BIBL. 8 REF.Conference Paper

DEGRES FAIBLEMENT ET RECURSIVEMENT ENUMERABLES ET CALCULABILITE LIMITEARSLANOV MM.1979; VEROJATN. METODY KIBERN.; SUN; DA. 1979; NO 15; PP. 3-9; BIBL. 6 REF.Article

SPLITTING A CONTEXT-SENSITIVE SET.OWINGS JC JR.1975; J. COMPUTER SYST. SCI.; U.S.A.; DA. 1975; VOL. 10; NO 1; PP. 83-87; BIBL. 3 REF.Article

"HELPING": SEVERAL FORMALIZATIONS.LYNCH N.1975; J. SYMBOL. LOGIC; U.S.A.; DA. 1975; VOL. 40; NO 4; PP. 555-566; BIBL. 15 REF.Article

NOWHERE SIMPLICITY IN MATROIDSDOWNEY R.1983; JOURNAL OF THE AUSTRALIAN MATHEMATICAL SOCIETY. SERIES A. PURE MATHEMATICS AND STATISTICS; ISSN 0334-3316; AUS; DA. 1983; VOL. 35; NO 1; PP. 28-45; BIBL. 17 REF.Article

STRONG NONCOMPUTABILITY OF RANDOM STRINGSCALUDE C; CHITESCU I.1982; INT. J. COMPUT. MATH.; ISSN 0020-7160; GBR; DA. 1982; VOL. 11; NO 1; PP. 43-45; BIBL. 6 REF.Article

THREE ASPECTS OF RECURSIVE ENUMERABILITY IN HIGHER TYPESSACKS GE.1980; LONDON MATH. SOC. LECTURE NOTE SER.; GBR; DA. 1980; NO 45; PP. 184-214; BIBL. 24 REF.Conference Paper

NUMERATIONS UNIVOQUES CALCULABLESGONCHAROV SS.1980; ALGEBRA LOG.; ISSN 0373-9252; SUN; DA. 1980; VOL. 19; NO 5; PP. 507-551; BIBL. 10 REF.Article

RECURSIVELY ENUMERABLE IMAGES OF ARITHMETIC SETSROSENBERG R.1982; Z. MATH. LOGIK GRUNDL. MATH.; ISSN 0044-3050; DDR; DA. 1982; VOL. 28; NO 3; PP. 189-201; BIBL. 6 REF.Article

SPLITTING THEOREMS FOR SPEED-UP RELATED TO ORDER OF ENUMERATIONDAWES AM.1982; J. SYMB. LOGIC; ISSN 0022-4812; USA; DA. 1982; VOL. 47; NO 1; PP. 1-7; BIBL. 6 REF.Article

  • Page / 8