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
Florence J.B. [1975] On splitting an infinite recursively enumerable class Canad. J. Math., 27, № 5, 1127-1140 76.08.100 EO article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Florence J.B. [1969] Partially ordered sets representable by recursively enumerable classes J. Symbolic Logic, 34, № 1, 8-12 69.12.121 E article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Florence J.B. [1967] Infinite subclasses of recursively enumerable classes Proc. Amer. Math. Soc., 18, № 4, 633-639 68.07.63 EO article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Florence J.B. [1969] Strong enumeration properties of recursively enumerable classes Z. math. Logik und Grundl. Math., 15, № 2, 181-192 70.04.81 EO article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Soare R.I. [1997] Computability and enumerability Proc. X Inter. Congress Logic, Methodology, Philosophy Sci., (Florence, 1995), 221-237 ? article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.F Fabian R.J. Fan Yun Feferman S. Feiner L. FejerL FejerPA Fellows M.R. Fenner S. Fenstad J.E. Ferrante J. Figueira S. Finkelstein M. FischerMJ FischerP Fischer.PC Fitting M. Flajolet P. Fleischhack H. Florence J.B. Fokina E.B. Fortnow L. Fotrune S. Fraissé R. Freivalds R.V. Friedberg R.M. FriedmanHM FriedmanSyD Fröhlich A. Frolov A. Füredi Z. Fukuyama M. Вернуться на главную страницу
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.