Fields of Logic and Computation II Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Beklemishev, Lev D. (Editor), Blass, Andreas (Editor), Dershowitz, Nachum (Editor), Finkbeiner, Bernd (Editor), Schulte, Wolfram (Editor)
• Format: Electronic eBook
• Language: English
• Published: Cham : Springer International Publishing : Imprint: Springer, 2015.
• Edition: 1st ed. 2015.
• Series: Lecture Notes in Computer Science, 9300
• Subjects: Computer science.; Computer programming.; Computer Science.; Programming Techniques.

Fields of Logic and Computation II This Festschrift has been published in honor of Yuri Gurevich, on the occasion of his 75th birthday. Yuri Gurevich has made a number of fundamental contributions  to the broad spectrum of logic and computer science, including decision procedures, the monadic theory...