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

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Beklemishev, Lev D. (Επιμελητής έκδοσης), Blass, Andreas (Επιμελητής έκδοσης), Dershowitz, Nachum (Επιμελητής έκδοσης), Finkbeiner, Bernd (Επιμελητής έκδοσης), Schulte, Wolfram (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2015.
• Έκδοση: 1st ed. 2015.
• Σειρά: Lecture Notes in Computer Science, 9300
• Θέματα: 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...