Fields of Logic and Computation II : Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday / edited by Lev D. Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte.

Format:

Book

Contributor:

Beklemishev, Lev D., editor.

Blass, Andreas, 1947- editor.

Dershowitz, Nachum, editor.

Finkbeiner, Bernd, editor.

Schulte, Wolfram, editor.

SpringerLink (Online service)

Series:

Computer Science (Springer-11645)

LNCS sublibrary. Programming and software engineering ; SL 2, 9300.

Programming and Software Engineering ; 9300

Language:

English

Subjects (All):

Computer programming.

Programming Techniques.

Local Subjects:

Programming Techniques.

Physical Description:

1 online resource (X, 319 pages) : 15 illustrations.

Edition:

First edition 2015.

Contained In:

Springer eBooks

Place of Publication:

Cham : Springer International Publishing : Imprint: Springer, 2015.

System Details:

text file PDF

Summary:

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

Other Format:

Printed edition:

ISBN:

978-3-319-23534-9

9783319235349

Access Restriction:

Restricted for use by site license.