Fields of logic and computation II: Essays dedicated to yuri gurevich on the occasion of his 75th birthday

Lev D. Beklemishev; Andreas Blass; Nachum Dershowitz; Bernd Finkbeiner; Wolfram Schulte

Fields of logic and computation II: Essays dedicated to yuri gurevich on the occasion of his 75th birthday

Lev D. Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte

School of Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Original language	English
Title of host publication	Fields of Logic and Computation II - Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday
Editors	Lev D. Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte
Publisher	Springer Verlag
ISBN (Print)	9783319235332
State	Published - 2015
Event	Symposium on Yurifest, 2015 - Berlin, Germany Duration: 11 Sep 2015 → 12 Sep 2015

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	9300
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	Symposium on Yurifest, 2015
Country/Territory	Germany
City	Berlin
Period	11/09/15 → 12/09/15

Cite this

Beklemishev, L. D., Blass, A., Dershowitz, N., Finkbeiner, B., & Schulte, W. (2015). Fields of logic and computation II: Essays dedicated to yuri gurevich on the occasion of his 75th birthday. In L. D. Beklemishev, A. Blass, N. Dershowitz, B. Finkbeiner, & W. Schulte (Eds.), Fields of Logic and Computation II - Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9300). Springer Verlag.

Beklemishev, Lev D. ; Blass, Andreas ; Dershowitz, Nachum et al. / Fields of logic and computation II : Essays dedicated to yuri gurevich on the occasion of his 75th birthday. Fields of Logic and Computation II - Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday. editor / Lev D. Beklemishev ; Andreas Blass ; Nachum Dershowitz ; Bernd Finkbeiner ; Wolfram Schulte. Springer Verlag, 2015. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{0d3da3412f594a01a0f541a8df10be8f,

title = "Fields of logic and computation II: Essays dedicated to yuri gurevich on the occasion of his 75th birthday",

author = "Beklemishev, {Lev D.} and Andreas Blass and Nachum Dershowitz and Bernd Finkbeiner and Wolfram Schulte",

year = "2015",

language = "אנגלית",

isbn = "9783319235332",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

editor = "Beklemishev, {Lev D.} and Andreas Blass and Nachum Dershowitz and Bernd Finkbeiner and Wolfram Schulte",

booktitle = "Fields of Logic and Computation II - Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday",

note = "null ; Conference date: 11-09-2015 Through 12-09-2015",

}

Beklemishev, LD, Blass, A, Dershowitz, N, Finkbeiner, B & Schulte, W 2015, Fields of logic and computation II: Essays dedicated to yuri gurevich on the occasion of his 75th birthday. in LD Beklemishev, A Blass, N Dershowitz, B Finkbeiner & W Schulte (eds), Fields of Logic and Computation II - Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 9300, Springer Verlag, Symposium on Yurifest, 2015, Berlin, Germany, 11/09/15.

Fields of logic and computation II : Essays dedicated to yuri gurevich on the occasion of his 75th birthday. / Beklemishev, Lev D.; Blass, Andreas; Dershowitz, Nachum et al.

Fields of Logic and Computation II - Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday. ed. / Lev D. Beklemishev; Andreas Blass; Nachum Dershowitz; Bernd Finkbeiner; Wolfram Schulte. Springer Verlag, 2015. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9300).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Fields of logic and computation II

AU - Beklemishev, Lev D.

AU - Blass, Andreas

AU - Dershowitz, Nachum

AU - Finkbeiner, Bernd

AU - Schulte, Wolfram

PY - 2015

Y1 - 2015

UR - http://www.scopus.com/inward/record.url?scp=84951875102&partnerID=8YFLogxK

M3 - פרסום בספר כנס

AN - SCOPUS:84951875102

SN - 9783319235332

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

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

A2 - Beklemishev, Lev D.

A2 - Blass, Andreas

A2 - Dershowitz, Nachum

A2 - Finkbeiner, Bernd

A2 - Schulte, Wolfram

PB - Springer Verlag

Y2 - 11 September 2015 through 12 September 2015

ER -

Beklemishev LD, Blass A, Dershowitz N, Finkbeiner B, Schulte W. Fields of logic and computation II: Essays dedicated to yuri gurevich on the occasion of his 75th birthday. In Beklemishev LD, Blass A, Dershowitz N, Finkbeiner B, Schulte W, editors, Fields of Logic and Computation II - Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday. Springer Verlag. 2015. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

Fields of logic and computation II: Essays dedicated to yuri gurevich on the occasion of his 75th birthday

Publication series

Conference

Other files and links

Cite this