default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID80th Birthday: Yuri Gurevich 2020
- Andreas Blass, Patrick Cégielski, Nachum Dershowitz, Manfred Droste, Bernd Finkbeiner:
Fields of Logic and Computation III - Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday. Lecture Notes in Computer Science 12180, Springer 2020, ISBN 978-3-030-48005-9
On Yuri Gurevich
- Johann A. Makowsky:
To Yuri at 80 and More than 40 Years of Friendship. 3-6
Technical Papers
- Natasha Alechina
, Brian Logan:
State of the Art in Logics for Verification of Resource-Bounded Multi-Agent Systems. 9-29 - Arnon Avron:
Why Predicative Sets? 30-45 - Andreas Blass:
Functional Thesauri, Classifying Topoi, Unification, and Flatness. 46-56 - Yijia Chen, Jörg Flum:
Parameterized Parallel Computing and First-Order Logic. 57-78 - Bruno Courcelle:
Betweenness in Order-Theoretic Trees. 79-94 - Anatole Dahan, Anuj Dawar:
Relativization of Gurevich's Conjectures. 95-104 - Martin Davis:
Seventy Years of Computer Science. 105-117 - Anuj Dawar, Erich Grädel, Matthias Hoelzel:
Convergence and Nonconvergence Laws for Random Expansions of Product Structures. 118-132 - Wilfrid Hodges:
Medieval Arabic Notions of Algorithm: Some Further Raw Evidence. 133-146 - Olga Kharlampovich, Pascal Weil:
On the Generalized Membership Problem in Relatively Hyperbolic Groups. 147-155 - Nikita V. Kitov, Mikhail V. Volkov:
Identities of the Kauffman Monoid K4 and of the Jones Monoid J4. 156-178 - Olga Kosheleva, Vladik Kreinovich:
Relativistic Effects Can Be Used to Achieve a Universal Square-Root (Or Even Faster) Computation Speedup. 179-189 - Vladimir Lifschitz, Patrick Lühne, Torsten Schaub:
Towards Verifying Logic Programs in the Input Language of clingo. 190-209 - Daniele Mundici:
Computing on Lattice-Ordered Abelian Groups. 210-225 - Alexander Rabinovich:
The Expressive Power of Temporal and First-Order Metric Logics. 226-246 - Peter H. Schmitt:
Two First-Order Theories of Ordinals. 247-257 - Alexander Shen:
Randomness Tests: Theory and Practice. 258-290 - Anatol Slissenko:
On Entropic Convergence of Algorithms. 291-304 - Jerzy Tyszkiewicz:
The Power of Spreadsheet Computations. 305-322 - Vladimir Vovk:
Non-Algorithmic Theory of Randomness. 323-340
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-03-01 15:18 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
