Skip to main content
SpringerLink
Log in
Book cover
  • Book
  • © 2015

Fields of Logic and Computation II

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

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)

Sections

Buy it now

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

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

Table of contents (21 chapters)

  1. Front Matter

    Pages I-X
    PDF

  3. Horn Clause Solvers for Program Verification

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

  5. On the Unpredictability of Individual Quantum Measurement Outcomes

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

  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

  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
Back to top

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).
Back to top

Keywords

Back to top

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

Back to top

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

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

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

Search

Navigation