Skip to contents

Börger, Egon [Author]; Grädel, Erich [Author]; Gurevič, Jurij [Author] ; Gurevich, Yuri [Other]

The classical decision problem - [2. printing of the 1. ed.]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin [u.a.]: Springer, 2001

Published in: Universitext
Gurevich, Yuri [Editor]; Meyer, Bertrand [Other] ; TAP 1 2007 Zürich

Tests and proofs : first international conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007 ; revised papers

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg: Springer, 2007

Published in: Lecture notes in computer science ; 4454
Gurevich, Yuri [Other]; Gurevič, Jurij [Editor] ; ASM 2000 Monte Verità

Abstract state machines : theory and applications ; international workshop ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2000

Published in: Lecture notes in computer science ; 1912
Börger, Egon [Author] ; Grädel, Erich [Other]; Gurevič, Jurij [Other]; Gurevich, Yuri [Other]

The classical decision problem

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg; New York; Barcelona; Budapest; Hong Kong; London; Milan; Paris; Santa Clara; Singapore; Tokyo: Springer, 1997

Published in: Perspectives in mathematical logic
Gurevich, Yuri [Author]; Pleskov, Jurij Viktorovič [Author] ; Gurevič, Jurij Ja [Other] Izdatel'stvo Nauka

Fotoėlektrochimija poluprovodnikov

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Moskva: Izd. Nauka, 1983
Blass, Andreas [Editor]; Gurevich, Yuri [Honoree]; Dershowitz, Nachum [Other]; Reisig, Wolfgang [Other]

Fields of logic and computation : essays dedicated to Yuri Gurevich on the occasion of his 70th birthday

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2010

Published in: Lecture notes in computer science ; 6300
Brodskij, Anatol' M. [Author] ; Gurevič, Jurij Ja [Other]

Teorija ėlektronnoj ėmissii iz metallov

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Moskva: Izdat. Nauka, 1973

Published in: Sovremennye problemy fiziki
Gurevich, Yuri [Author] ; Kutter, Philipp W. [Other]; Odersky, Martin [Other]; Thiele, Lothar [Other]

Abstract State Machines - Theory and Applications : International Workshop, ASM 2000 Monte Verità, Switzerland, March 19–24, 2000 Proceedings

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2000

Published in: Lecture notes in computer science ; 1912
Gurevich, Yuri [Other]; Meyer, Bertrand [Other]

Tests and Proofs : First International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 2007

Published in: Lecture notes in computer science ; 4454
Börger, Egon [Author] ; Gurevich, Yuri [Other]; Meinke, Karl [Other]

Computer Science Logic : 7th Workshop, CSL '93, Swansea, United Kingdom, September 13 - 17, 1993. Selected Papers

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 1994

Published in: Lecture notes in computer science ; 832
Droste, Manfred [Author]; Gurevich, Yuri [Author] ; Manfred Droste and Yuri Gurevich [Contributor]

Semantics of Programming Languages and Algebra (Dagstuhl Seminar 9323)

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 1993
Droste, Manfred [Author]; Gurevich, Yuri [Author] ; Manfred Droste and Yuri Gurevich [Contributor]

Semantics of Programming Languages and Model Theory (Dagstuhl Seminar 9126)

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 1991
Gurevich, Yuri [Author]; Yavorskaya, Tatiana [Author]

On bounded exploration and bounded nondeterminism

View online
Schließen

Access

http://hdl.handle.net/10419/121998

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

[Redmond: Microsoft Research], 2006

Published in: Microsoft Research: TechReport ; 200607
Gurevich, Yuri [Author]; Yavorskaya, Tatiana [Author]

On Bounded Exploration and Bounded Nondeterminism

View online
Schließen

Links

http://hdl.handle.net/10419/121998

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Redmond: Microsoft Research, 2006-01
Ebbinghaus, Heinz-Dieter [Editor]; Flum, Jörg [Editor]; Gurevich, Yuri [Editor]

Endliche Modelltheorie : 08.02.-14.02.1998

View online
Schließen

Access

More information on the full text

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Oberwolfach-Walke: Mathematisches Forschungsinstitut, 1998 ; Online-Ausg., Oberwolfach: Math. Forschungsinst., 2009

Published in: Mathematisches Forschungsinstitut Oberwolfach: Tagungsbericht ; 1998,6
Ebbinghaus, Heinz-Dieter [Editor]; Flum, Jörg [Editor]; Gurevich, Yuri [Editor]

Endliche Modelltheorie : 27.03. bis 02.04.1994

View online
Schließen

Access

More information on the full text

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Oberwolfach-Walke: Mathematisches Forschungsinstitut, 1994 ; Online-Ausg., Oberwolfach: Math. Forschungsinst., 2009

Published in: Mathematisches Forschungsinstitut Oberwolfach: Tagungsbericht ; 1994,14
Blass, Andreas R. [Author]; Börger, Egon [Author]; Gurevich, Yuri [Author] ; Andreas R. Blass and Egon Börger and Yuri Gurevich [Contributor]

Theory and Application of Abstract State Machines (Dagstuhl Seminar 02101)

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2002
Börger, Egon [Author]; Gurevich, Yuri [Author]; Kleine-Büning, Hans [Author]; Richter, M. M. [Author] ; Egon Börger and Yuri Gurevich and Hans Kleine-Büning and M. M. Richter [Contributor]

Computer Science Logic (Dagstuhl Seminar 9229)

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 1992
Gurevich, Yuri

The umbilical cord of finite model theory

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Oxford University Press (OUP), 2023

Published in: Journal of Logic and Computation
Gurevich, Yuri

The 1966 International Congress of Mathematicians: A Micro-memoir

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

IOS Press, 2022

Published in: Fundamenta Informaticae

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication