Cover Image

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

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...

Full description

Corporate Author: SpringerLink (Online service)
Other Authors: Beklemishev, Lev D. (Editor, http://id.loc.gov/vocabulary/relators/edt), Blass, Andreas. (Editor, http://id.loc.gov/vocabulary/relators/edt), Dershowitz, Nachum. (Editor, http://id.loc.gov/vocabulary/relators/edt), Finkbeiner, Bernd. (Editor, http://id.loc.gov/vocabulary/relators/edt), Schulte, Wolfram. (Editor, http://id.loc.gov/vocabulary/relators/edt)
Language:English
Published: Cham : Springer International Publishing : Imprint: Springer, 2015.
Edition:1st ed. 2015.
Series:Programming and Software Engineering ; 9300
Subjects:
Computer programming.
Programming Techniques.
Online Access:https://doi.org/10.1007/978-3-319-23534-9

Similar Items