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

Statistics Math-Net.Ru
Total publications: 4
Scientific articles: 3
Presentations: 4

Number of views:
This page:566
Abstract pages:539
Full texts:221
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
https://mathscinet.ams.org/mathscinet/MRAuthorID/78480

Publications in Math-Net.Ru
1. Propositional primal logic with disjunction
L. Beklemishev, Yu. Gurevich
J. Logic Comput., 24:1 (2014),  257–282
2. On the elementary theory of lattice-ordered abelian groups and $K$-lineals
Yu. Sh. Gurevich
Dokl. Akad. Nauk SSSR, 175:6 (1967),  1213–1215
3. Solvability problem for a restricted predicate calculus
Yu. Sh. Gurevich
Dokl. Akad. Nauk SSSR, 168:3 (1966),  510–511
4. On the decision problem for pure narrow calculus of predicates
Yu. Sh. Gurevich
Dokl. Akad. Nauk SSSR, 166:5 (1966),  1032–1034

5. 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. Logic in computer science, computer engineering and mathematics
Yuri Gurevich
Logical Perspectives 2018
May 15, 2018 10:00   
2. What is the intrinsic logic of infons?
Andreas Blass, Yuri Gurevich
International workshop "Logical Models of Reasoning and Computation"
February 2, 2012 10:00   
3. Distributed Knowledge Authorization Language (DKAL). Managing Policies and Trust
Yuri Gurevich
International workshop "Logical Models of Reasoning and Computation"
February 1, 2012 10:00   
4. 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, 2018