Skip to main content
SpringerLink
Log in
Book cover

Fields of Logic and Computation III

Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday

  • Conference proceedings
  • © 2020

Overview

Editors:
  1. Andreas Blass

    1. Department of Mathematics, University of Michigan, Ann Arbor, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Patrick Cégielski

    1. Université Paris Est Créteil, Fontainebleau, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Nachum Dershowitz

    1. School of Computer Science, Tel Aviv University, Tel Aviv, Israel

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Manfred Droste

    1. Fakultät für Mathematik und Informatik, Universität Leipzig, Leipzig, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  5. Bernd Finkbeiner

    1. Reactive Systems Group, Universitat des Saarlandes, Saarbrücken, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Contains papers presented at a symposium in honor of Yuri Gurevich on the occasion of his 80th birthday
  • The Festschrift includes contributions from colleagues and friends who have accompanied Yuri Gurevich through his scientific life
  • Covers a broad spectrum of topics all touching the theme of Logic and Computation

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 12180)

Part of the book sub series: Programming and Software Engineering (LNPSE)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (21 papers)

  1. Front Matter

    Pages i-x
    Download chapter PDF

  2. On Yuri Gurevich

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. To Yuri at 80 and More than 40 Years of Friendship

      • Johann A. Makowsky
      Pages 3-6

  3. Technical Papers

    1. Front Matter

      Pages 7-7
      Download chapter PDF

    2. State of the Art in Logics for Verification of Resource-Bounded Multi-Agent Systems

      • Natasha Alechina, Brian Logan
      Pages 9-29

    3. Why Predicative Sets?

      • Arnon Avron
      Pages 30-45

    4. Functional Thesauri, Classifying Topoi, Unification, and Flatness

      • Andreas Blass
      Pages 46-56

    5. Parameterized Parallel Computing and First-Order Logic

      • Yijia Chen, Jörg Flum
      Pages 57-78

    6. Betweenness in Order-Theoretic Trees

      • Bruno Courcelle
      Pages 79-94

    7. Relativization of Gurevich’s Conjectures

      • Anatole Dahan, Anuj Dawar
      Pages 95-104

    8. Seventy Years of Computer Science

      • Martin Davis
      Pages 105-117

    9. Convergence and Nonconvergence Laws for Random Expansions of Product Structures

      • Anuj Dawar, Erich Grädel, Matthias Hoelzel
      Pages 118-132

    10. Medieval Arabic Notions of Algorithm: Some Further Raw Evidence

      • Wilfrid Hodges
      Pages 133-146

    11. On the Generalized Membership Problem in Relatively Hyperbolic Groups

      • Olga Kharlampovich, Pascal Weil
      Pages 147-155

    12. Identities of the Kauffman Monoid \(\mathcal {K}_4\) and of the Jones Monoid \(\mathcal {J}_4\)

      • Nikita V. Kitov, Mikhail V. Volkov
      Pages 156-178

    13. Relativistic Effects Can Be Used to Achieve a Universal Square-Root (Or Even Faster) Computation Speedup

      • Olga Kosheleva, Vladik Kreinovich
      Pages 179-189

    14. Towards Verifying Logic Programs in the Input Language of clingo

      • Vladimir Lifschitz, Patrick Lühne, Torsten Schaub
      Pages 190-209

    15. Computing on Lattice-Ordered Abelian Groups

      • Daniele Mundici
      Pages 210-225

    16. The Expressive Power of Temporal and First-Order Metric Logics

      • Alexander Rabinovich
      Pages 226-246

    17. Two First-Order Theories of Ordinals

      • Peter H. Schmitt
      Pages 247-257
Back to top

Keywords

About this book

This Festschrift is published in honor of Yuri Gurevich’s 80th birthday. An associated conference, YuriFest 2020, was planned for May 18–20 in Fontainebleau, France, in combination with the 39th Journées sur les Arithmétiques Faibles also celebrating Yuri’s 80th birthday. Because of the coronavirus situation, the conference had to be postponed, but this Festschrift is being published as originally planned. It addresses a very wide variety of topics, but by no means all of the fields of logic and computation in which Yuri has made important progress.


Editors and Affiliations

  • Department of Mathematics, University of Michigan, Ann Arbor, USA

    Andreas Blass

  • Université Paris Est Créteil, Fontainebleau, France

    Patrick Cégielski

  • School of Computer Science, Tel Aviv University, Tel Aviv, Israel

    Nachum Dershowitz

  • Fakultät für Mathematik und Informatik, Universität Leipzig, Leipzig, Germany

    Manfred Droste

  • Reactive Systems Group, Universitat des Saarlandes, Saarbrücken, Germany

    Bernd Finkbeiner

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation