Search results

Spreen D. [1996] Effective inseparability in a topological setting Ann. Pure Appl. Logic, 80, № 3, 257-275 98.11.52 article Вернуться к поиску

Spreen D. [2002] Safe weak minimization revisited SIAM J Comput., 31, № 5, 1542-1556 03.ВН10.75 article Вернуться к поиску

Spreen D. [1996] Representations versus numberings: on two computability notions. Combinatoric. Complexity & Logic, 387-401. Springer, Singapore ? article Вернуться к поиску

Spreen D. [2001] Can partial indexings be totalized? J. Symbolic Logic, 66, № 3, 1157-1185 04.06.117 article Вернуться к поиску

Spreen D. [1990] Computable one-to-one enumerations of effective domains Inform. Comput., 84, № 1, 26-46 90.ВН5.60 G article Вернуться к поиску

Badaev S.A.,Spreen D. [2005] A note on partial numberings Math. Logic Quarterly, 51, № 2, 129-136 ? article Вернуться к поиску

Spreen D. [2001] Representations versus numberings: on the relationship of two computability notions Theor. Comp. Sci. 263, 473-499 ? article Вернуться к поиску

Spreen D. [1998], [2000] On effective topological spaces J. Symbolic Logic, 63, № 1, 185-221; corr. 65, № 4,1917-1918 ?, 01.09.441 статья Вернуться к поиску

Spreen D. [2005] Strong reducibility of partial numberings Arch. Math. Logik Grundl., 44, № 2, 209–217 07.01.73 article Вернуться к поиску

... Silibovski S. Simon J. Simpson S.G. Skolem T. Skordev D. Skvortsova E.Z. Slaman T. A. Slinko A. Smith R.L. Smuga-Otto M. J. Smullyan R.M. Soare R. I. SolomonDR SolomonR Solon B. Solovay R.M. Sorbi A. SoskovIN SoskovaAA SoskovaMI Spector C. Sperschneider V. Spreen D. Stanley L. Stearns R.E. Steel J.R. Stefani S. Stephan F. Stephen B. Stewart F.M. Steyaert J.M. Stillwell J. Stob M. Stockmeyer L.J. Stoltenberg-Hansen V. StrongHR Sturgis H. E. Su Kaile Surányi J. Suzuki Y. Szmielew W. Вернуться на главную ...