Fields of Logic and Computation II

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

Nonfiction, Computers, General Computing, Programming
Cover of the book Fields of Logic and Computation II by , Springer International Publishing
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: ISBN: 9783319235349
Publisher: Springer International Publishing Publication: September 5, 2015
Imprint: Springer Language: English
Author:
ISBN: 9783319235349
Publisher: Springer International Publishing
Publication: September 5, 2015
Imprint: Springer
Language: English

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

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

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

More books from Springer International Publishing

Cover of the book Renewing Liberalism by
Cover of the book Richard M. Nixon and European Integration by
Cover of the book Computers Supported Education by
Cover of the book Breast Cancer Survivorship by
Cover of the book Questions on the Soul by John Buridan and Others by
Cover of the book Advances and Applications in Sliding Mode Control systems by
Cover of the book Decision and Game Theory for Security by
Cover of the book Web Information Systems Engineering – WISE 2015 by
Cover of the book Management of Shari’ah Compliant Businesses by
Cover of the book Data-Driven Prediction for Industrial Processes and Their Applications by
Cover of the book Cardiovascular Hemodynamics by
Cover of the book Heat Pipe Design and Technology by
Cover of the book Recent Developments in Mechatronics and Intelligent Robotics by
Cover of the book Complex Democracy by
Cover of the book Artificial Life and Computational Intelligence by
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy