Библиография Лаврова И.А.

Lacombe D. [1971] Recursion theoretic structure for relational systems Logic Coll’69, North-Holland, 3-17 71.11.92 article Вернуться к поиску

Lacombe D. [1955] Classes recursivement fermees et functions majorants Comp. Rend. Acad. Sci. (Paris), 240 , № 7, 716-718 56.965 article Вернуться к поиску

Lacombe D. [1960] La theorie des fonctions recursives et ses applications Bull. Soc. Math. Fran., 88, № 4, 393-468 64.12.147 ROS article Вернуться к поиску

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 Вернуться к поиску

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 Вернуться к поиску

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 Вернуться к поиску

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 Вернуться к поиску

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 Вернуться к поиску

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 Вернуться к поиску

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 Вернуться к поиску

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....