Search results
News
General Theory of Computability
(bibliography)
by Lavrov I.A.
By Author Name:
English: A-B-C-D-E-F-G-H-I-J-K-L-M-N-O-P-Q-R-S-T-U-V-W-X-Y-Z
Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я
Search
Lacombe D. [1971] Recursion theoretic structure for relational systems Logic Coll’69, North-Holland, 3-17 71.11.92 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Lacombe D. [1955] Classes recursivement fermees et functions majorants Comp. Rend. Acad. Sci. (Paris), 240 , № 7, 716-718 56.965 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Lacombe D. [1960] La theorie des fonctions recursives et ses applications Bull. Soc. Math. Fran., 88, № 4, 393-468 64.12.147 ROS article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Kreisel G., Lacombe D., Shoenfield J.R. [1957] Partial recursive functionals and effective operations Constructivity in Mathematics, North-Holland, 290-297 59.7674 ROS article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Lacombe D. [1954] Sur le semi-ŕeseau constitué par les degrés d'indécidabilité recursive Comp. Rend. Acad. Sci. (Paris), 239 , № 8, 1108-1109 56.1911 ROS article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Lacombe D. [1964] Deux géneralisations de la notion de recursivite relative Comp. Rend. Acad. Sci. (Paris), 258, № 12, 3141-3143 64.12.58 O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Lacombe D. [1958] Les ensembles recursivement ouverts ou fermes et leurs applications a l'analyse recursive Comp. Rend. Acad. Sci. (Paris), 246 , № 1, 28-31 59.7675 O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Lacombe D. [1957] Les ensembles recursivement ouverts ou fermes et leurs applications a l'analyse recursive Comp. Rend. Acad. Sci. (Paris), 245, № 13, 1040-1043 59.6535 O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Kreisel G., Lacombe D. [1957] Ensembles récursivement mesurables et ensembles récursivement ouverts ou fermés Comp. Rend. Acad. Sci., (Paris), 245, № 14, 1106-1109 58.9494 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Lacombe D. [1955] Extension de la notion de fonction recursive aux fonctions d'une ou plusieurs variables reelles I, II, III Comp. Rend. Acad. Sci., (Paris), 240, № 26, 2478-2480; 241, № 1, 13-14; №2, 151-153 56.4281 O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.L La Roche P. Lachlan A. H. Lacombe D. Ladner R.E. LaForte G. Lakins T. Lambert W. M. Landweber L.H. Langford G. Läuchli H. Lavrov I.A. Lebeuf R. Leeds S. Leggett A. Leivant D. Lempp S. LeonardJ Leonhardi S.D. Lerman M. LewisA LewisFD LewisHR LewisPM LiAngs LiXiang Lipton R.J. Liu S.C....
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.