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 47,59 €
price for Spain (gross)
  • ISBN 978-3-319-23534-9
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 58,24 €
price for Spain (gross)
  • ISBN 978-3-319-23533-2
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
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)

  • $$\textit{K}$$ -trivial, $$\textit{K}$$ -low and $${{\mathrm{\textit{MLR}}}}$$ -low Sequences: A Tutorial

    Bienvenu, Laurent (et al.)

    Pages 1-23

    Preview Buy Chapter 30,19 €
  • Horn Clause Solvers for Program Verification

    Bjørner, Nikolaj (et al.)

    Pages 24-51

    Preview Buy Chapter 30,19 €
  • Existential Fixed-Point Logic as a Fragment of Second-Order Logic

    Blass, Andreas

    Pages 52-68

    Preview Buy Chapter 30,19 €
  • On the Unpredictability of Individual Quantum Measurement Outcomes

    Abbott, Alastair A. (et al.)

    Pages 69-86

    Preview Buy Chapter 30,19 €
  • The Ehrenfeucht-Fraïssé Method and the Planted Clique Conjecture

    Chen, Yijia (et al.)

    Pages 87-108

    Preview Buy Chapter 30,19 €

Buy this book

eBook 47,59 €
price for Spain (gross)
  • ISBN 978-3-319-23534-9
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 58,24 €
price for Spain (gross)
  • ISBN 978-3-319-23533-2
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
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