Fields of Logic and Computation II

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

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

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

Also part of the Programming and Software Engineering book sub series (LNPSE, volume 9300)

Table of contents

  1. Front Matter
    Pages I-X
  2. Nikolaj Bjørner, Arie Gurfinkel, Ken McMillan, Andrey Rybalchenko
    Pages 24-51
  3. Alastair A. Abbott, Cristian S. Calude, Karl Svozil
    Pages 69-86
  4. Anuj Dawar, Luc Segoufin
    Pages 142-152
  5. Manfred Droste, Vitaly Perevoshchikov
    Pages 153-173
  6. Hila Gonen, Orna Kupferman
    Pages 174-192
  7. Erich Grädel, Martin Grohe
    Pages 193-209
  8. Patrick Cégielski, Serge Grigorieff, Irène Guessarian
    Pages 210-225
  9. Nadia Labai, Johann A. Makowsky
    Pages 237-252
  10. Rohit Parikh, Çağıl Taşdemir
    Pages 253-260
  11. Alexander Rabinovich
    Pages 261-272
  12. Mark Sapir
    Pages 273-292
  13. Saharon Shelah
    Pages 293-296
  14. Back Matter
    Pages 319-319

About this book


Fields of Logic and Computation II

This Festschrift has been published in honor of Yuri Gurevich, on the occasion
of his 75th birthday. Yuri Gurevich has made a number of fundamental contributions 
to 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).


computability descriptive complexity game theory pushdown automata quantum computing algorithmic theory of randomness finite model theory horn clauses inductive logic kolmogorov complexity model checking monadic second order logic probabilistic prediction quantum measurements random graphs semigroup temporal logic timed automata weighted automata weighted logic

Editors and affiliations

  • Lev D. Beklemishev
    • 1
  • Andreas Blass
    • 2
  • Nachum Dershowitz
    • 3
  • Bernd Finkbeiner
    • 4
  • Wolfram Schulte
    • 5
  1. 1.Steklov Mathematical InstituteMoscowRussia
  2. 2.University of MichiganAnn ArborUSA
  3. 3.Tel Aviv UniversityTel AvivIsrael
  4. 4.Universität des SaarlandesSaarbrückenGermany
  5. 5.Microsoft ResearchREDMONDUSA

Bibliographic information

  • DOI
  • Copyright Information Springer International Publishing Switzerland 2015
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-319-23533-2
  • Online ISBN 978-3-319-23534-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Finance, Business & Banking
IT & Software
Energy, Utilities & Environment