News
		
			02 August, 2019
				            OS DAY-2019. Cooperation among operating platform developers and the security of Russian software
		
	
	
    
		
			10 April, 2019
				            Ivannikov Memorial Workshop has been supported by IEEE
		
	
	
    
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
            Paterson M.S. ...
            
        Paterson M.S. [1970] Unsolvability in 3x3 matrices Studies. Appl. Math., 49, № 1, 105-107 70.07.324 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.
            Jockusch C.G. Jr., Paterson M. S. ...
            
        Jockusch C.G. Jr., Paterson M. S. [1976] Completely autoreducible degrees Z. math. Logik und Grundl. Math., 22, № 6, 571- 575 77.12.43 OS article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.
            Авторы на P
            
        P Palmgren E. ParisJB Parsons Ch. Paterson M.S. Payne T.H. Peretyat’kin M.G. Peter R. Pillay A. Pingrey S. Pleszkoch M. Podzorov S.Yu. Posner D.B. Post E.L. Poudestone W. Pour-El M. B. Presburger M. Putnam H. Puzarenko V.G. Вернуться на главную страницу
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.