Search results

Sperschneider V. [1984] The length-problems Lect. Notes in Comp. Sci., 171, 88-102, Springer -Verlag 85.02.60 article Вернуться к поиску

Maier W., Menzel W., Sperschneider V. [1982] Embedding properties of total recursive functions Z. math. Logik und Grundl. Math., 28, № 6, 565-574 83.05.56 article Вернуться к поиску

Menzel W., Sperschneider V. [1984] Recursively enumerable extensions of R 1 by finite functions. Lect. Notes in Comp. Sci., 171, 62-76, Springer -Verlag 85.02.59 article Вернуться к поиску

... Shore R.A. 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. Вернуться ...