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 Non-Equilibrium Phenomena near Vapor-Liquid Interfaces by
Cover of the book Reliability is a New Science by
Cover of the book British Strategy and Intelligence in the Suez Crisis by
Cover of the book The Visual Language of Technique by
Cover of the book Computer Vision – ACCV 2018 Workshops by
Cover of the book Autonomous Cyber Deception by
Cover of the book Splines and PDEs: From Approximation Theory to Numerical Linear Algebra by
Cover of the book Emerging Technologies for Education by
Cover of the book Collaboration Across Boundaries for Social-Ecological Systems Science by
Cover of the book Proteomics in Human Reproduction by
Cover of the book Neuromorphic Cognitive Systems by
Cover of the book Assessing Contexts of Learning by
Cover of the book Financial Crimes: Psychological, Technological, and Ethical Issues by
Cover of the book OWL: Experiences and Directions – Reasoner Evaluation by
Cover of the book Nonlinear Dynamics and Quantum Chaos 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