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
Thuraisingham M.B. [1983] Cylindriral decision problems for system functions Notre Dame J. Formal Logic, 24, № 2 , 188-198 83.11.57 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Thuraisingham M.B. [1983] Some elementary closure properties of n -cylinders Notre Dame J. Formal Logic, 24, № 2 , 242-254 83.12.51 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Thuraisingham M.B. [1988] Representation of one-one degrees by n -cylindriral decision problems Z. math. Logik und Grundl. Math., 34, № 6, 481-490 89.08.66 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Thuraisingham M.B. [1986] The concept of n -cylindez and its application, II Z. math. Logik und Grundl. Math., 32, № 3, 211-219 87.02.39 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Thuraisingham M.B. [1983] The concept of n -cylindez and its relationship to simpe sets Notre Dame J. Formal Logic, 24, № 3, 328-336 84.03.82 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.T Takeuti G. Talasbaeva Z.T. Tanaka H. Tarski A. Tennenbaum S. Terwijn S.A. Thomason S.K. Thompson S. Thuraisingham M.B. Thurber J. J. Titgemeyer D. Tompa M. Torenvliet L. Trachtenbrot B.A. Trotter W. Truss J.K. Tucker J. V. Turing A.M. Вернуться на главную страницу
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.