Skip to main content
SpringerLink
Log in
Book cover

Fields of Logic and Computation II

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

  • Book
  • © 2015

Overview

Editors:
  1. Lev D. Beklemishev

    1. Steklov Mathematical Institute, Moscow, Russia

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Andreas Blass

    1. University of Michigan, Ann Arbor, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Nachum Dershowitz

    1. Tel Aviv University, Tel Aviv, Israel

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Bernd Finkbeiner

    1. Universität des Saarlandes, Saarbrücken, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  5. Wolfram Schulte

    1. Microsoft Research, REDMOND, USA

    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 75th 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
  • Includes supplementary material: sn.pub/extras

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

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 chapters)

  1. Front Matter

    Pages I-X
    Download chapter PDF

  2. \(\textit{K}\)-trivial, \(\textit{K}\)-low and \({{\mathrm{\textit{MLR}}}}\)-low Sequences: A Tutorial

    • Laurent Bienvenu, Alexander Shen
    Pages 1-23

  3. Horn Clause Solvers for Program Verification

    • Nikolaj Bjørner, Arie Gurfinkel, Ken McMillan, Andrey Rybalchenko
    Pages 24-51

  4. Existential Fixed-Point Logic as a Fragment of Second-Order Logic

    • Andreas Blass
    Pages 52-68

  5. On the Unpredictability of Individual Quantum Measurement Outcomes

    • Alastair A. Abbott, Cristian S. Calude, Karl Svozil
    Pages 69-86

  6. The Ehrenfeucht-Fraïssé Method and the Planted Clique Conjecture

    • Yijia Chen, Jörg Flum
    Pages 87-108

  7. Monadic Theory of a Linear Order Versus the Theory of its Subsets with the Lifted Min/Max Operations

    • Christian Choffrut, Serge Grigorieff
    Pages 109-128

  8. Regularity Equals Monadic Second-Order Definability for Quasi-trees

    • Bruno Courcelle
    Pages 129-141

  9. Capturing MSO with One Quantifier

    • Anuj Dawar, Luc Segoufin
    Pages 142-152

  10. Logics for Weighted Timed Pushdown Automata

    • Manfred Droste, Vitaly Perevoshchikov
    Pages 153-173

  11. Inherent Vacuity in Lattice Automata

    • Hila Gonen, Orna Kupferman
    Pages 174-192

  12. Is Polynomial Time Choiceless?

    • Erich Grädel, Martin Grohe
    Pages 193-209

  13. Arithmetical Congruence Preservation: From Finite to Infinite

    • Patrick Cégielski, Serge Grigorieff, Irène Guessarian
    Pages 210-225

  14. An Extension of the Ehrenfeucht-Fraïssé Game for First Order Logics Augmented with Lindström Quantifiers

    • Simi Haber, Saharon Shelah
    Pages 226-236

  15. Logics of Finite Hankel Rank

    • Nadia Labai, Johann A. Makowsky
    Pages 237-252

  16. The Strategy of Campaigning

    • Rohit Parikh, Çağıl Taşdemir
    Pages 253-260

  17. On Almost Future Temporal Logics

    • Alexander Rabinovich
    Pages 261-272

  18. Minsky Machines and Algorithmic Problems

    • Mark Sapir
    Pages 273-292

  19. On Failure of 0-1 Laws

    • Saharon Shelah
    Pages 293-296

  20. Composition Over the Natural Number Ordering with an Extra Binary Relation

    • Wolfgang Thomas
    Pages 297-306
Back to top

Keywords

About this book

This Festschrift is published in honor of Yuri Gurevich's 75th birthday. Yuri Gurevich has made fundamental contributions on the broad spectrum of logic and computer science, including decision procedures, the monadic theory of order, abstract state machines, formal methods, foundations of computer science, security, and much more. Many of these areas are reflected in the 20 articles in this Festschrift and in the presentations at the "Yurifest" symposium, which was held in Berlin, Germany, on September 11 and 12, 2015. The Yurifest symposium was co-located with the 24th EACSL Annual Conference on Computer Science Logic (CSL 2015).

Editors and Affiliations

  • Steklov Mathematical Institute, Moscow, Russia

    Lev D. Beklemishev

  • University of Michigan, Ann Arbor, USA

    Andreas Blass

  • Tel Aviv University, Tel Aviv, Israel

    Nachum Dershowitz

  • Universität des Saarlandes, Saarbrücken, Germany

    Bernd Finkbeiner

  • Microsoft Research, REDMOND, USA

    Wolfram Schulte

Bibliographic Information

  • Book Title: Fields of Logic and Computation II

  • Book Subtitle: Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday

  • Editors: Lev D. Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/978-3-319-23534-9

  • Publisher: Springer Cham

  • eBook Packages: Computer Science, Computer Science (R0)

  • Copyright Information: Springer International Publishing Switzerland 2015

  • Softcover ISBN: 978-3-319-23533-2Published: 27 August 2015

  • eBook ISBN: 978-3-319-23534-9Published: 05 September 2015

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: X, 319

  • Number of Illustrations: 15 b/w illustrations

  • Topics: Programming Techniques

Publish with us

Policies and ethics

Back to top

Search

Navigation