Programming and Software Engineering Lect.Notes ComputerFestschrift

Fields of Logic and Computation II

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

Editors: Beklemishev, L.D., Blass, A., Dershowitz, N., Finkbeiner, B., Schulte, W. (Eds.)

Free Preview
  • 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
see more benefits

Buy this book

eBook $54.99
price for USA in USD
  • ISBN 978-3-319-23534-9
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • Immediate eBook download after purchase and usable on all devices
  • Bulk discounts available
Softcover $69.99
price for USA in USD
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).

Table of contents (21 chapters)

Table of contents (21 chapters)
  • $$\textit{K}$$-trivial, $$\textit{K}$$-low and $${{\mathrm{\textit{MLR}}}}$$-low Sequences: A Tutorial

    Pages 1-23

    Bienvenu, Laurent (et al.)

  • Horn Clause Solvers for Program Verification

    Pages 24-51

    Bjørner, Nikolaj (et al.)

  • Existential Fixed-Point Logic as a Fragment of Second-Order Logic

    Pages 52-68

    Blass, Andreas

  • On the Unpredictability of Individual Quantum Measurement Outcomes

    Pages 69-86

    Abbott, Alastair A. (et al.)

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

    Pages 87-108

    Chen, Yijia (et al.)

Buy this book

eBook $54.99
price for USA in USD
  • ISBN 978-3-319-23534-9
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • Immediate eBook download after purchase and usable on all devices
  • Bulk discounts available
Softcover $69.99
price for USA in USD
Loading...

Recommended for you

Loading...

Bibliographic Information

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
Programming and Software Engineering
Series Volume
9300
Copyright
2015
Publisher
Springer International Publishing
Copyright Holder
Springer International Publishing Switzerland
eBook ISBN
978-3-319-23534-9
DOI
10.1007/978-3-319-23534-9
Softcover ISBN
978-3-319-23533-2
Edition Number
1
Number of Pages
X, 319
Number of Illustrations
15 b/w illustrations
Topics