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 Social Structure, Value Orientations and Party Choice in Western Europe by
Cover of the book Extra-Territorial Ethnic Politics, Discourses and Identities in Hungary by
Cover of the book Strengthening Information and Control Systems by
Cover of the book From Environmental to Comprehensive Security by
Cover of the book Brand Building and Marketing in Key Emerging Markets by
Cover of the book Surgical Treatment of Colorectal Problems in Children by
Cover of the book Pragmatic Idealism and Scientific Prediction by
Cover of the book Big Data Benchmarking by
Cover of the book British Terrorist Novels of the 1970s by
Cover of the book African Data Privacy Laws by
Cover of the book Advances in Computational Intelligence by
Cover of the book Practical Decision Making using Super Decisions v3 by
Cover of the book Formal Specification Level by
Cover of the book Information Search, Integration, and Personalization by
Cover of the book Social Responsibility and Sustainability 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