RUS  ENG JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PERSONAL OFFICE
 
Gurevich Yuri

Statistics Math-Net.Ru
Total publications: 1
Presentations: 3

Number of views:
This page:279
Abstract pages:429
Full texts:182
Doctor of physico-mathematical sciences (1968)
Website: http://research.microsoft.com/~gurevich

http://www.mathnet.ru/eng/person71951
List of publications on Google Scholar
http://zbmath.org/authors/?q=ai:gurevich.yuri|gurevich.yu-sh|gurevich.yu
http://www.ams.org/mathscinet/search/author.html?return=viewitems&mrauthid=78480

Publications in Math-Net.Ru
1. Propositional primal logic with disjunction
L. Beklemishev, Yu. Gurevich
24, no. 1, 2014,  257–282

2. Mikhail Abramovich Taitslin (1936–2013)
D. A. Archangelsky, B. S. Baizhanov, O. V. Belegradek, V. Ya. Belyaev, L. A. Bokut, M. K. Valiev, S. K. Vodopyanov, M. Gitik, Yu. S. Gurevich, D. O. Daderkin, A. M. Dekhtyar, M. I. Dekhtyar, A. Ya. Dikovsky, S. M. Dudakov, E. I. Zelmanov, B. I. Zilber, S. L. Krushkal, S. S. Kutateladze, Yu. V. Matiyasevich, G. E. Mints, I. Kh. Musikaev, A. K. Rebrov, Yu. G. Reshetnyak, A. L. Semenov, A. P. Stolboushkin, I. A. Taimanov, B. A. Trakhtenbrot
Sib. Èlektron. Mat. Izv., 10 (2013),  54–65

Presentations in Math-Net.Ru
1. What is the intrinsic logic of infons?
Andreas Blass, Yuri Gurevich
International workshop "Logical Models of Reasoning and Computation"
February 2, 2012 10:00   
2. Distributed Knowledge Authorization Language (DKAL). Managing Policies and Trust
Yuri Gurevich
International workshop "Logical Models of Reasoning and Computation"
February 1, 2012 10:00   
3. The Church–Turing thesis: story and recent progress
Yu. Sh. Gurevich
Meetings of the Moscow Mathematical Society
October 27, 2009

Organisations
 
Contact us:
 Terms of Use  Registration  Logotypes © Steklov Mathematical Institute RAS, 2017