|
|
|
Publications in Math-Net.Ru |
Citations |
|
2014 |
| 1. |
L. Beklemishev, Yu. Gurevich, “Propositional primal logic with disjunction”, J. Logic Comput., 24:1 (2014), 257–282      |
13
|
|
1972 |
| 2. |
Yu. Sh. Gurevich, I. O. Koryakov, “A remark on R. Berger's work on the domino problem”, Sibirsk. Mat. Zh., 13:2 (1972), 459–463 ; Siberian Math. J., 13:2 (1972), 319–321 |
58
|
|
1969 |
| 3. |
Yu. Sh. Gurevich, “The problem of the solution of problems of solution”, Algebra Logika, 8:6 (1969), 640–642 |
| 4. |
Yu. Sh. Gurevich, “The problem of reduction for the logic of predicates and
operations.”, Algebra Logika, 8:3 (1969), 284–308 |
|
1967 |
| 5. |
Yu. Š. Gurevich, “The hereditarily undecidability of one class of lattice-ordered Abelian groups”, Algebra i Logika. Sem., 6:1 (1967), 45–62 |
1
|
| 6. |
Yu. Sh. Gurevich, “On the elementary theory of lattice-ordered abelian groups and $K$-lineals”, Dokl. Akad. Nauk SSSR, 175:6 (1967), 1213–1215 |
|
1966 |
| 7. |
Yu. Sh. Gurevich, “The problem of equality of words for certain classes of
semigroups”, Algebra i Logika. Sem., 5:5 (1966), 25–35 |
5
|
| 8. |
Yu. Sh. Gurevich, “Effective recognition of realizability of formulae of the
restricted predicate calculus”, Algebra i Logika. Sem., 5:2 (1966), 25–55 |
| 9. |
Yu. Sh. Gurevich, “Solvability problem for a restricted predicate calculus”, Dokl. Akad. Nauk SSSR, 168:3 (1966), 510–511 |
| 10. |
Yu. Sh. Gurevich, “On the decision problem for pure narrow calculus of predicates”, Dokl. Akad. Nauk SSSR, 166:5 (1966), 1032–1034 |
|
1965 |
| 11. |
Yu. Sh. Gurevich, “Existential interpretation”, Algebra i Logika. Sem., 4:4 (1965), 71–85 |
|
1964 |
| 12. |
Yu. Sh. Gurevich, “Elementary properties of ordered Abelian groups”, Algebra i Logika. Sem., 3:1 (1964), 5–39 |
1
|
|
1963 |
| 13. |
Yu. Sh. Gurevich, A. I. Kokorin, “Universal equivalence of ordered Abelian groups”, Algebra i Logika. Sem., 2:1 (1963), 37–39 |
4
|
|
|
|
2022 |
| 14. |
S. N. Artemov, J. M. Barzdiņš, L. A. Bokut', Yu. Gurevich, A. M. Dekhtyar', L. A. Levin, I. A. Lomazova, Yu. V. Matiyasevich, V. A. Nepomnyashchii, S. P. Novikov, A. Rabinovich, V. Yu. Sazonov, A. O. Slisenko, V. A. Sokolov, M. B. Trakhtenbrot, N. V. Shilov, “Boris Abramovich Trakhtenbrot (on the centenary of his birth)”, Uspekhi Mat. Nauk, 77:1(463) (2022), 191–195 ; Russian Math. Surveys, 77:1 (2022), 183–188 |
|
2013 |
| 15. |
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, “Mikhail Abramovich Taitslin (1936–2013)”, Sib. Èlektron. Mat. Izv., 10 (2013), 54–65 |
|
| Presentations in Math-Net.Ru |
| 1. |
Negative probabilities: What are they for?
Yu. Sh. Gurevich
Steklov Mathematical Institute Seminar
November 18, 2021 16:00
|
| 2. |
Logic and foundations: A personal perspective
Yu. Gurevich
Logical Perspectives 2020 Open Lectures
November 17, 2020 18:00
|
| 3. |
What, if anything, can be done in linear time?
Yu. Gurevich
Seminar of the Laboratory of Mathematical Logic (Saint Petersburg)
June 30, 2020 18:30
|
| 4. |
Logic in computer science, computer engineering and mathematics
Yuri Gurevich
Logical Perspectives 2018
May 15, 2018 10:00
|
| 5. |
What is the intrinsic logic of infons?
Andreas Blass, Yuri Gurevich
International workshop "Logical Models of Reasoning and Computation"
February 2, 2012 10:00
|
| 6. |
Distributed Knowledge Authorization Language (DKAL). Managing Policies and Trust
Yuri Gurevich
International workshop "Logical Models of Reasoning and Computation"
February 1, 2012 10:00
|
| 7. |
The Church–Turing thesis: story and recent progress
Yu. Sh. Gurevich
Meetings of the Moscow Mathematical Society
October 27, 2009
|
|
|
| Organisations |
|
| |
|
|
Contact us: