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
Bibliographic Details
| 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: | |
|---|
| Online Access: | Full Text via HEAL-Link
|
|---|
