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 theor...
| Other Authors: | Gurevich, Yuri,, Beklemishev, Lev Dmitrievich, 1967-, Blass, Andreas, 1947-, Dershowitz, Nachum,, Finkbeiner, Bernd,, Schulte, Wolfram,, SpringerLink (Online service), Yurifest (Symposium) |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
Cham :
Springer,
2015.
|
| Physical Description: |
1 online resource (x, 319 pages) : illustrations. |
| Series: |
Lecture notes in computer science ;
9300. LNCS sublibrary. Programming and software engineering. |
| Subjects: |
CMU Electronic Access
Electronic Resource Click Here| Location | Call Number: | Status |
|---|---|---|
| CMU Electronic Access | Available |