Search results

Hay L. [1975] Rice theorems for d.r.e. sets Canad. J.Math., 27, № 2, 352-365 75.12.53 EO article Вернуться к поиску

Hay L. [1973] Index sets in 0 / Algebra and Logic, 12, № 6, 713-729 74.11.98 EO article Вернуться к поиску

Hay L. [1974] A noninitial segment of index sets J. Symbolic Logic, 39, № 2, 209-224 75.08.101 EO article Вернуться к поиску

Hay L. [1976] Boolean combinations of r.e. open sets J. Symbolic Logic, 41, № 1, 235-238 76.12.83 EO article Вернуться к поиску

Buss S., Hay L. [1991] On truth-table reducibility to SAT Inform. Comput., 91, № 1, 86-102 91.Г5.396 article Вернуться к поиску

Hay L. [1972] A discreate chain of degrees of index sets J. Symbolic Logic, 37, № 1 , 139-149 73.01.71 EO article Вернуться к поиску

Hay L. [1975] Spectra and the halting problem Z. math. Logik und Grundl. Math., 21, № 2, 167-176 75.12.50 S article Вернуться к поиску

Hay L. [1973] Discrete ω-sequences of index sets Trans. Amer. Math. Soc., 183, № 9, 293-311 74.07.121 EO article Вернуться к поиску

Hay L. [1973] The halting problem relativized to complements Proc. Amer. Math. Soc., 41, № 2, 583-587 74.08.69 OS article Вернуться к поиску

Hay L., Miller D. [1982] A topological analog to the Rice-Shapiro index theorem J. Symbolic Logic, 37, № 4, 824-832 83.08.37 article Вернуться к поиску

Hay L. [1969] Index sets of finite classes of recursively enumerable sets J. Symbolic Logic, 34, № 1, 39-44 69.12.123 EO article Вернуться к поиску

Hay L., Johnson N. [1979] Extensional characterization of index sets Z. math. Logik und Grundl. Math., 25 , № 3, 227-234 80.02.44 article Вернуться к поиску

Hay L. [1973] The class of recursively enumerable subsets of a recursively enumerable set Pacif. J. Math., 46, № 1, 167-183 74.01.93 EOS article Вернуться к поиску

Hay L. [1966] Isomorphism types of index sets of partial recursive functions Proc. Amer. Math. Soc., 17, № 1, 106-110 67.01.70 EO article Вернуться к поиску

Hay L. [1965] On creative sets and indices of partial recursive functions Trans. Amer. Math. Soc., 120, № 2, 359-367 67.06.57 EO article Вернуться к поиску

Hay L. [1974] Index sets universal for differences of arithmetic sets Z. math. Logik und Grundl. Math., 20, № 3, 239-254 75.08.95 EO article Вернуться к поиску

Hay L., Manaster A. B., Rosenstein J.G. [1977] Concerning partial recursive similarity transformations of linearly ordered sets Pacif. J. Math., 71, № 1, 57-70 78.04.55 S article Вернуться к поиску

Hay L., Manaster A. B., Rosenstein J.G. [1975] Small recursive ordinals, many-one degrees, and the arithmetical difference hierarchy Ann. Math. Logic, 8, №3, 297-343 76.01.86 OS article Вернуться к поиску

Hay L., Miller D. [1982] The Addison game played backwards: index sets in topology Proc. Patras Logic Symp. (Patras, Greece, 1980), North-Holland, 231-237 84.03.84 article Вернуться к поиску

H Haas R. Hâjek P. Hammond T. Harizanov V.S. Harley J.P. Harrington L.A. Harrison J. Harrop R. Harrow K. Hartmanis J. Haught C.A. Hay L. Heaton A.J. Hebeison F. Hecker H.D. Heidler K. Heller A. Helm J.P. Hemachandra L. Hensel G. Hermes H. Herrmann E. Hilbert D. Hinman P.G. Hird G.R. Hirose K. Hirschfeldt D. R. Hirst J.L. Hjorth G. HoKe Hodes H. T. HodgesA HodgesW Hodgson B.R. Homer ...