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 Individualized Medicine by
Cover of the book CMOS Circuits for Biological Sensing and Processing by
Cover of the book Applications of Metaheuristics in Process Engineering by
Cover of the book Mathematician for All Seasons by
Cover of the book A Christian Guide to Liberating Desire, Sex, Partnership, Work, and Reproduction by
Cover of the book Adsorption, Aggregation and Structure Formation in Systems of Charged Particles by
Cover of the book Contemporary Entrepreneurship by
Cover of the book State Building and National Identity Reconstruction in the Horn of Africa by
Cover of the book New Directions in Treatment, Education, and Outreach for Mental Health and Addiction by
Cover of the book The Aerodynamics of a Container Freight Train by
Cover of the book Innovative Statistical Methods for Public Health Data by
Cover of the book Heart Failure Management: The Neural Pathways by
Cover of the book Medical Image Computing and Computer Assisted Intervention – MICCAI 2018 by
Cover of the book For Whose Benefit? by
Cover of the book Nordic Girlhoods 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