×

zbMATH — the first resource for mathematics

Gurevich, Yuri

Compute Distance To:
Author ID: gurevich.yuri Recent zbMATH articles by "Gurevich, Yuri"
Published as: Gurevich, Yuri; Gurevich, Yu. Sh.; Gurevich, Y.; Gurevich, Yu. S.; Gurevich, Yu.
Homepage: http://research.microsoft.com/en-us/um/people/gurevich/
External Links: MGP · Math-Net.Ru · Wikidata · ORCID · dblp
Documents Indexed: 227 Publications since 1963, including 8 Books
Biographic References: 4 Publications
all top 5

Co-Authors

66 single-authored
67 Blass, Andreas Raphael
22 Shelah, Saharon
7 Börger, Egon
6 Veanes, Margus
5 Grädel, Erich
5 Voronkov, Andrei
4 Degtyarev, Anatoli Ivanovich
4 Rosenzweig, Dean
4 Rossman, Benjamin
4 Schulte, Wolfram
3 Cotrini, Carlos
3 Dershowitz, Nachum
3 Eiter, Thomas
3 Glass, Andrew M. W.
3 Gottlob, Georg
3 Holland, Wilbur Charles jun.
3 Huggins, James K.
3 Lewis, Harry R.
3 Van den Bussche, Jan
3 Wallace, Charles
2 Ajtai, Miklós
2 Bjørner, Nikolaj S.
2 Koryakov, Igor Olegovich
2 Meinke, Karl
2 Narendran, Paliath
2 Neeman, Itay
2 Passmore, Grant Olney
2 Rabinovich, Alexander
2 Tillmann, Nikolai
1 Aanderaa, Stål O.
1 Alechina, Natasha
1 Arkhangel’skiĭ, Dmitriĭ A.
1 Baizhanov, Bektur Sembiuly
1 Barak, Amnon B.
1 Barnett, Mike
1 Beklemishev, Lev D.
1 Belegradek, Oleg V.
1 Belyaev, V. Ya.
1 Bocharov, Alex
1 Bokut, Leonid A.
1 Burgess, John P.
1 Daderkin, Dmitri O.
1 Dawar, Anuj
1 de Caso, Guido
1 Dekhtyar, Alexander M.
1 Denenberg, Larry
1 Dexter, Scott
1 Dikovsky, Alexander Yakovlevich
1 Doyle, Patrick
1 Drezner, Zvi
1 Droste, Manfred
1 Dudakov, Sergey M.
1 Gilman, Robert H.
1 Gitik, Moti
1 Goldfarb, Warren D.
1 Grohe, Martin
1 Hudis, Efim
1 Jambu-Giraudet, Michele
1 Kokorin, Ali Ivanovich
1 Kozen, Dexter C.
1 Kreinovich, Vladik Yakovlevich
1 Krushkal, Samuel L.
1 Kutateladze, Semën Samsonovich
1 Kutter, Philipp W.
1 Lahav, Ori
1 Leinders, Dirk
1 Longpré, Luc
1 Magidor, Menachem
1 Mani, Raghu
1 Matiyasevich, Yuriĭ Vladimirovich
1 Melentyev, Artem
1 Mints, Grigoriĭ Efroimovich
1 Morris, James M.
1 Moss, Lawrence S.
1 Musikaev, Ilmir Kh.
1 Myasnikov, Alexei G.
1 Nachmanson, Lev
1 Odersky, Martin
1 Rebrov, A. K.
1 Reshetnyak, Yuriĭ Grigor’evich
1 Schmitt, Peter H.
1 Schupp, Paul E.
1 Schweikardt, Nicole
1 Semenov, Alexei Lvovich
1 Soparkar, Nandit R.
1 Spielmann, Marc
1 Stockmeyer, Larry J.
1 Stolboushkin, Alexei P.
1 Taimanov, Iskander Asanovich
1 Thiele, Lothar
1 Trakhtenbrot, Boris Avraamovich
1 Turashvili, T. V.
1 Tyszkiewicz, Jerzy
1 Valiev, Mars K.
1 Vishkin, Uzi
1 Vodop’yanov, Sergeĭ Konstantinovich
1 Vovk, Vladimir G.
1 Yavorskii, Rostislav Eduardovich
1 Zel’manov, Efim Isaakovich
1 Zilber, Boris I.
all top 5

Serials

23 Bulletin of the European Association for Theoretical Computer Science EATCS
20 The Journal of Symbolic Logic
10 ACM Transactions on Computational Logic
9 Bulletin of the European Association for Theoretical Computer Science (EATCS)
7 Algebra i Logika
7 Theoretical Computer Science
6 Annals of Pure and Applied Logic
5 Information and Control
5 SIAM Journal on Computing
4 Information and Computation
4 Journal of Universal Computer Science
4 Lecture Notes in Computer Science
3 Archiv für Mathematische Logik und Grundlagenforschung
3 Israel Journal of Mathematics
3 Journal of the Association for Computing Machinery
3 Journal of Computer and System Sciences
3 Soviet Mathematics. Doklady
3 Transactions of the American Mathematical Society
3 Journal of Logic and Computation
3 The Bulletin of Symbolic Logic
2 Information Processing Letters
2 Journal of Mathematical Physics
2 Algebra and Logic
2 Annals of Mathematical Logic
2 Siberian Mathematical Journal
2 Sibirskiĭ Matematicheskiĭ Zhurnal
2 Studia Logica
2 Matematicheskie Zapiski, Sverdlovsk
2 Logical Methods in Computer Science
1 Mathematical Proceedings of the Cambridge Philosophical Society
1 Fundamenta Mathematicae
1 Networks
1 Notre Dame Journal of Formal Logic
1 Soobshcheniya Akademii Nauk Gruzinskoĭ SSR
1 MSCS. Mathematical Structures in Computer Science
1 International Journal of Foundations of Computer Science
1 Theory of Computing Systems
1 Journal of the ACM
1 Sibirskie Èlektronnye Matematicheskie Izvestiya
1 Algebra, Logic and Applications
1 Translations. Series 2. American Mathematical Society
1 The Review of Symbolic Logic
1 Universitext
1 Perspectives in Mathematical Logic

Publications by Year

Citations contained in zbMATH Open

149 Publications have been cited 1,139 times in 806 Documents Cited by Year
The classical decision problem. Zbl 0865.03004
Börger, Egon; Grädel, Erich; Gurevich, Yu.
78
1997
Evolving algebras 1993: Lipari guide. Zbl 0852.68053
Gurevich, Yuri
51
1995
Fixed-point extensions of first-order logic. Zbl 0621.03013
Gurevich, Yuri; Shelah, Saharon
50
1986
On the unique satisfiability problem. Zbl 0543.03027
Blass, Andreas; Gurevich, Yuri
44
1982
Intuitionistic logic with strong negation. Zbl 0366.02015
Gurevich, Yuri
39
1977
Sequential abstract-state machines capture sequential algorithms. Zbl 1365.68258
Gurevich, Yuri
39
2000
Average case completeness. Zbl 0825.68420
Gurevich, Yuri
33
1991
Henkin quantifiers and complete problems. Zbl 0618.03016
Blass, Andreas; Gurevich, Yuri
28
1986
Modest theory of short chains. I. Zbl 0464.03013
Gurevich, Yuri
26
1979
Expected computation time for Hamiltonian path problem. Zbl 0654.68083
Gurevich, Yuri; Shelah, Saharon
25
1987
Remarks on Berger’s paper on the domino problem. Zbl 0248.02053
Gurevich, Yu. Sh.; Koryakov, I. O.
22
1972
The classical decision problem. Paperback ed. Zbl 0970.03001
Börger, Egon; Grädel, Erich; Gurevich, Yu.
19
2001
Solving NP-hard problems on graphs that are almost trees and an application to facility location problems. Zbl 0629.68042
Gurevich, Yuri; Stockmeyer, Larry; Vishkin, Uzi
19
1984
Choiceless polynomial time. Zbl 0936.03037
Blass, Andreas; Gurevich, Yuri; Shelah, Saharon
17
1999
A zero-one law for logic with a fixed-point operator. Zbl 0608.68077
Blass, Andreas; Gurevich, Yuri; Kozen, Dexter
17
1985
Monadic theory of order and topology in ZFC. Zbl 0516.03007
Gurevich, Yuri; Shelah, Saharon
16
1982
Monotone versus positive. Zbl 0637.94022
Ajtai, Miklos; Gurevich, Yuri
16
1987
The monadic theory of \(\omega_ 2\). Zbl 0549.03010
Gurevich, Yuri; Magidor, Menachem; Shelah, Saharon
16
1983
Modest theory of short chains. II. Zbl 0464.03014
Gurevich, Yuri; Shelah, Saharon
15
1979
The decision problem for branching time logic. Zbl 0584.03006
Gurevich, Yuri; Shelah, Saharon
15
1985
The theory of ordered abelian groups does not have the independence property. Zbl 0507.03012
Gurevich, Y.; Schmitt, P. H.
14
1984
Metafinite model theory. Zbl 0892.68033
Grädel, Erich; Gurevich, Yuri
14
1998
Rabin’s uniformization problem. Zbl 0537.03007
Gurevich, Yuri; Shelah, Saharon
14
1983
The decision problem for linear temporal logic. Zbl 0573.03004
Burgess, John P.; Gurevich, Yuri
14
1985
Datalog vs first-order logic. Zbl 0824.68034
Ajtai, Miklos; Gurevich, Yuri
13
1994
A natural axiomatization of computability and proof of Church’s thesis. Zbl 1167.03027
Dershowitz, Nachum; Gurevich, Yuri
13
2008
Toward logic tailored for computational complexity. Zbl 0622.03030
Gurevich, Yuri
13
1984
Definability by constant-depth polynomial-size circuits. Zbl 0629.94023
Denenberg, Larry; Gurevich, Yuri; Shelah, Saharon
13
1986
A logic for constant-depth circuits. Zbl 0592.94023
Gurevich, Yuri; Lewis, Harry R.
13
1984
Monadic theory of order and topology, I. Zbl 0359.02061
Gurevich, Yuri
11
1977
Matrix transformation is complete for the average case. Zbl 0828.68078
Blass, Andreas; Gurevich, Yuri
11
1995
On polynomial time computation over unordered structures. Zbl 1020.03038
Blass, Andreas; Gurevich, Yuri; Shelah, Saharon
11
2002
Abstract state machines capture parallel algorithms. Zbl 1365.68253
Blass, Andreas; Gurevich, Yuri
11
2003
Interpreting second-order logic in the monadic theory of order. Zbl 0559.03008
Gurevich, Yuri; Shelah, Saharon
11
1983
The decision problem for standard classes. Zbl 0339.02045
Gurevich, Yuri
10
1976
On finite rigid structures. Zbl 0860.03029
Gurevich, Yuri; Shelah, Saharon
10
1996
Nearly linear time. Zbl 0673.03026
Gurevich, Yuri; Shelah, Saharon
10
1989
Play to test. Zbl 1183.68176
Blass, Andreas; Gurevich, Yuri; Nachmanson, Lev; Veanes, Margus
9
2006
Rigid homogeneous chains. Zbl 0462.06011
Glass, A. M. W.; Gurevich, Yuri; Holland, W. Charles; Shelah, Saharon
9
1981
Recognizing the real line. Zbl 0471.03033
Gurevich, Yuri; Holland, W. Charles
9
1981
Fixed point logics. Zbl 1002.03030
Dawar, Anuj; Gurevich, Yuri
9
2002
The semantics of the C programming language. Zbl 0788.68018
Gurevich, Yuri; Huggins, James K.
8
1993
Existential fixed-point logic. Zbl 0647.03018
Blass, Andreas; Gurevich, Yuri
8
1987
Elementary properties of ordered Abelian groups. Zbl 0178.31403
Gurevich, Yu. Sh.
8
1965
The monadic theory and the ”next world”. Zbl 0575.03028
Gurevich, Yuri; Shelah, Saharon
8
1984
The word problem for lattice-ordered groups. Zbl 0527.06009
Glass, A. M. W.; Gurevich, Yuri
7
1983
Decidability and complexity of simultaneous rigid E-unification with one variable and related results. Zbl 0944.68103
Degtyarev, A.; Gurevich, Y.; Narendran, P.; Veanes, M.; Voronkov, A.
7
2000
On the strength of the interpretation method. Zbl 0699.03031
Gurevich, Yuri; Shelah, Saharon
7
1989
The word problem for cancellation semigroups with zero. Zbl 0586.03037
Gurevich, Yuri; Lewis, Harry R.
7
1984
Algorithms: a quest for absolute definitions. Zbl 1169.68408
Blass, Andreas; Gurevich, Yuri
6
2003
Monadic theory of order and topology. II. Zbl 0428.03034
Gurevich, Yuri
6
1979
Interactive small-step algorithms. I: Axiomatization. Zbl 1132.68029
Blass, Andreas; Gurevich, Yuri; Rosenzweig, Dean; Rossman, Benjamin
6
2007
Program termination and well partial orderings. Zbl 1367.68061
Blass, Andreas; Gurevich, Yuri
6
2008
Expanded theory of ordered Abelian groups. Zbl 0368.06016
Gurevich, Yuri
6
1977
Monadic simultaneous rigid \(E\)-unification and related problems. Zbl 1401.03037
Gurevich, Yuri; Voronkov, Andrei
6
1997
Semi-conservative reduction. Zbl 0351.02011
Gurevich, Yuri
5
1976
Elementary theory of automorphism groups of doubly homogeneous chains. Zbl 0508.06001
Glass, A. M. W.; Gurevich, Yuri; Holland, W. Charles; Jambu-Giraudet, Michele
5
1981
The bakery algorithm: Yet another specification and verification. Zbl 0844.68080
Börger, Egon; Gurevich, Yuri; Rosenzweig, Dean
5
1995
Normal forms for second-order logic over finite structures, and classification of NP optimization problems. Zbl 0883.03015
Eiter, Thomas; Gottlob, Georg; Gurevich, Yuri
5
1996
The logic of choice. Zbl 0973.03007
Blass, Andreas; Gurevich, Yuri
5
2000
Herbrand’s theorem and equational reasoning: Problems and solutions. Zbl 0866.68102
Degtyarev, Anatoli; Gurevich, Yuri; Voronkov, Andrei
5
1996
Randomizing reductions of search problems. Zbl 0789.68056
Blass, Andreas; Gurevich, Yuri
5
1993
Evolving algebras. A tutorial introduction. Zbl 0757.68076
Gurevich, Yuri
5
1991
Logic of infons, the propositional case. Zbl 1328.03032
Gurevich, Yuri; Neeman, Itay
5
2011
Ordinary interactive small-step algorithms. I. Zbl 1367.68094
Blass, Andreas; Gurevich, Yuri
5
2006
Membership problem for the modular group. Zbl 1136.03013
Gurevich, Yuri; Schupp, Paul
5
2007
Existentielle Interpretation. Zbl 0294.02023
Gurevich, Yu. S.
4
1965
The logic of infons. Zbl 1191.03023
Gurevich, Yuri; Neeman, Itay
4
2009
Algebraic operational semantics and Occam. Zbl 0925.68302
Gurevich, Yuri; Moss, Lawrence
4
1990
Existential interpretation. II. Zbl 0493.03020
Gurevich, Yuri
4
1982
Existential second-order logic over strings. Zbl 1095.03503
Eiter, Thomas; Gurevich, Yuri; Gottlob, Georg
4
2000
Strong extension axioms and Shelah’s zero-one law for choiceless polynomial time. Zbl 1045.03039
Blass, Andreas; Gurevich, Yuri
4
2003
When are two algorithms the same? Zbl 1192.03021
Blass, Andreas; Dershowitz, Nachum; Gurevich, Yuri
4
2009
Abstract state machines capture parallel algorithms: correction and extension. Zbl 1367.68097
Blass, Andreas; Gurevich, Yuri
4
2008
Nondeterministic linear-time tasks may require substantially nonlinear deterministic time in the case of sublinear work space. Zbl 0699.68063
Gurevich, Yuri; Shelah, Saharon
4
1990
Equivalence relations, invariants, and normal forms. Zbl 0545.68035
Blass, Andreas; Gurevich, Yuri
4
1984
Crumbly spaces. Zbl 0515.03019
Gurevich, Yuri
3
1982
A geometric zero-one law. Zbl 1181.03037
Gilman, Robert H.; Gurevich, Yuri; Miasnikov, Alexei
3
2009
Tailoring recursion for complexity. Zbl 0837.03034
Grädel, Erich; Gurevich, Yuri
3
1995
Recursive abstract state machines. Zbl 0960.68091
Gurevich, Yuri; Spielmann, Marc
3
1997
Background, reserve, and Gandy machines. Zbl 0973.03053
Blass, Andreas; Gurevich, Yuri
3
2000
Syntax vs. semantics on finite structures. Zbl 0884.03035
Alechina, Natasha; Gurevich, Yuri
3
1997
The decidability of simultaneous rigid \(E\)-unification with one variable. Zbl 0903.03007
Degtyarev, Anatoli; Gurevich, Yuri; Narendran, Paliath; Veanes, Margus; Voronkov, Andrei
3
1998
Platonism, constructivism, and computer proofs vs. proofs by hand. Zbl 1026.03503
Gurevich, Yuri
3
1995
Abstract state machines: an overview of the project. Zbl 1202.68193
Gurevich, Yuri
3
2004
Average case complexity. Zbl 0766.68041
Gurevich, Yuri
3
1991
Optimal ancilla-free Pauli+V circuits for axial rotations. Zbl 1333.81067
Blass, Andreas; Bocharov, Alex; Gurevich, Yuri
3
2015
Decision problem for separated distributive lattices. Zbl 0508.03016
Gurevich, Yuri
2
1983
Database query processing using finite cursor machines. Zbl 1192.68213
Grohe, Martin; Gurevich, Yuri; Leinders, Dirk; Schweikardt, Nicole; Tyszkiewicz, Jerzy; Van den Bussche, Jan
2
2009
Pairwise testing. Zbl 1169.68352
Blass, Andreas; Gurevich, Yuri
2
2002
The sequential ASM thesis. Zbl 0931.68044
Gurevich, Yuri
2
1999
Definability and undefinability with real order at the background. Zbl 0963.03062
Gurevich, Yuri; Rabinovich, Alexander
2
2000
Abstract state machines. Theory and applications. International workshop, ASM 2000, Monte Verità, Switzerland, March 19–24, 2000. Proceedings. Zbl 0947.00040
Gurevich, Yuri (ed.); Kutter, Philipp W. (ed.); Odersky, Martin (ed.); Thiele, Lothar (ed.)
2
2000
Gurevich abstract state machines and Schönhage storage modification machines. Zbl 0960.68089
Dexter, Scott; Doyle, Patrick; Gurevich, Yuri
2
1997
The linear time hierarchy theorems for abstract state machines and RAMs. Zbl 0960.68070
Blass, Andreas; Gurevich, Yuri
2
1997
Abstract state machines and computationally complete query languages. Zbl 0976.68061
Blass, Andreas; Gurevich, Yuri; Van den Bussche, Jan
2
2000
Partially ordered runs: A case study. Zbl 0976.68512
Gurevich, Yuri; Rosenzweig, Dean
2
2000
From invariants to canonization. Zbl 0886.68065
Gurevich, Yuri
2
1997
Definability in rationals with real order in the background. Zbl 0999.03005
Gurevich, Yuri; Rabinovich, Alexander
2
2002
The underlying logic of Hoare logic. Zbl 1012.03514
Blass, Andreas; Gurevich, Yuri
2
2001
Who needs category theory? Zbl 1409.68095
Blass, Andreas; Gurevich, Yuri
1
2018
Basic primal infon logic. Zbl 1403.03050
Cotrini, Carlos; Gurevich, Yuri
1
2016
Past present. Zbl 1338.01011
Gurevich, Yuri
1
2016
On quantum computation, anyons, and categories. Zbl 1439.81028
Blass, Andreas; Gurevich, Yuri
1
2016
Optimal ancilla-free Pauli+V circuits for axial rotations. Zbl 1333.81067
Blass, Andreas; Bocharov, Alex; Gurevich, Yuri
3
2015
Negative probability. Zbl 1416.60013
Blass, Andreas; Gurevich, Yuri
1
2015
Ancilla-approximable quantum state transformations. Zbl 1322.81015
Blass, Andreas; Gurevich, Yuri
1
2015
Propositional primal logic with disjunction. Zbl 1327.03023
Beklemishev, Lev; Gurevich, Yuri
2
2014
Transitive primal infon logic. Zbl 1280.03036
Cotrini, Carlos; Gurevich, Yuri
1
2013
Foundational analyses of computation. Zbl 1357.68053
Gurevich, Yuri
2
2012
From primal infon logic with individual variables to Datalog. Zbl 1357.68212
Bjørner, Nikolaj; de Caso, Guido; Gurevich, Yuri
1
2012
What is an algorithm? Zbl 1298.68091
Gurevich, Yuri
1
2012
Impugning randomness, convincingly. Zbl 1262.68054
Gurevich, Yuri; Passmore, Grant O.
1
2012
Logic of infons, the propositional case. Zbl 1328.03032
Gurevich, Yuri; Neeman, Itay
5
2011
Content-dependent chunking for differential compression, the local maximum approach. Zbl 1201.68015
Bjørner, Nikolaj; Blass, Andreas; Gurevich, Yuri
1
2010
Hilbertian deductive systems, infon logic, and Datalog. Zbl 1275.03127
Blass, Andreas; Gurevich, Yuri
1
2010
The logic of infons. Zbl 1191.03023
Gurevich, Yuri; Neeman, Itay
4
2009
When are two algorithms the same? Zbl 1192.03021
Blass, Andreas; Dershowitz, Nachum; Gurevich, Yuri
4
2009
A geometric zero-one law. Zbl 1181.03037
Gilman, Robert H.; Gurevich, Yuri; Miasnikov, Alexei
3
2009
Database query processing using finite cursor machines. Zbl 1192.68213
Grohe, Martin; Gurevich, Yuri; Leinders, Dirk; Schweikardt, Nicole; Tyszkiewicz, Jerzy; Van den Bussche, Jan
2
2009
A natural axiomatization of computability and proof of Church’s thesis. Zbl 1167.03027
Dershowitz, Nachum; Gurevich, Yuri
13
2008
Program termination and well partial orderings. Zbl 1367.68061
Blass, Andreas; Gurevich, Yuri
6
2008
Abstract state machines capture parallel algorithms: correction and extension. Zbl 1367.68097
Blass, Andreas; Gurevich, Yuri
4
2008
Why sets? Zbl 1133.03347
Blass, Andreas; Gurevich, Yuri
1
2008
Interactive small-step algorithms. I: Axiomatization. Zbl 1132.68029
Blass, Andreas; Gurevich, Yuri; Rosenzweig, Dean; Rossman, Benjamin
6
2007
Membership problem for the modular group. Zbl 1136.03013
Gurevich, Yuri; Schupp, Paul
5
2007
Ordinary interactive small-step algorithms. II. Zbl 1367.68095
Blass, Andreas; Gurevich, Yuri
2
2007
Can abstract state machines be useful in language theory? Zbl 1111.68054
Gurevich, Yuri; Veanes, Margus; Wallace, Charles
2
2007
Interactive small-step algorithms. II: Abstract state machines and the characterization theorem. Zbl 1132.68030
Blass, Andreas; Gurevich, Yuri; Rosenzweig, Dean; Rossman, Benjamin
1
2007
Ordinary interactive small-step algorithms. III. Zbl 1367.68096
Blass, Andreas; Gurevich, Yuri
1
2007
Play to test. Zbl 1183.68176
Blass, Andreas; Gurevich, Yuri; Nachmanson, Lev; Veanes, Margus
9
2006
Ordinary interactive small-step algorithms. I. Zbl 1367.68094
Blass, Andreas; Gurevich, Yuri
5
2006
Algorithms: a quest for absolute definitions. Zbl 1110.03023
Blass, Andreas; Gurevich, Yuri
2
2006
Interactive algorithms 2005 with added appendix. Zbl 1266.68198
Gurevich, Yuri
2
2006
Partial updates. Zbl 1080.68020
Gurevich, Yuri; Tillmann, Nikolai
2
2005
Semantic essence of AsmL. Zbl 1077.68052
Gurevich, Yuri; Rossman, Benjamin; Schulte, Wolfram
2
2005
Abstract state machines: an overview of the project. Zbl 1202.68193
Gurevich, Yuri
3
2004
Intra-step interaction. Zbl 1188.68133
Gurevich, Yuri
1
2004
Observations on the decidability of transitions. Zbl 1188.68134
Gurevich, Yuri; Yavorskiy, Rostislav
1
2004
Pairwise testing. Zbl 1065.68032
Blass, Andreas; Gurevich, Yuri
1
2004
Algorithms: a quest for absolute definitions. Zbl 1065.68052
Blass, Andreas; Gurevich, Yuri
1
2004
Semantic essence of AsmL: extended abstract. Zbl 1104.68527
Gurevich, Yuri; Rossman, Benjamin; Schulte, Wolfram
1
2004
Abstract state machines capture parallel algorithms. Zbl 1365.68253
Blass, Andreas; Gurevich, Yuri
11
2003
Algorithms: a quest for absolute definitions. Zbl 1169.68408
Blass, Andreas; Gurevich, Yuri
6
2003
Strong extension axioms and Shelah’s zero-one law for choiceless polynomial time. Zbl 1045.03039
Blass, Andreas; Gurevich, Yuri
4
2003
On polynomial time computation over unordered structures. Zbl 1020.03038
Blass, Andreas; Gurevich, Yuri; Shelah, Saharon
11
2002
Fixed point logics. Zbl 1002.03030
Dawar, Anuj; Gurevich, Yuri
9
2002
Pairwise testing. Zbl 1169.68352
Blass, Andreas; Gurevich, Yuri
2
2002
Definability in rationals with real order in the background. Zbl 0999.03005
Gurevich, Yuri; Rabinovich, Alexander
2
2002
Algorithms vs. machines. Zbl 1024.68101
Blass, Andreas; Gurevich, Yuri
1
2002
Abstract state machines and computationally complete query languages. Zbl 1009.68030
Blass, Andreas; Gurevich, Yuri; Van den Bussche, Jan
1
2002
The classical decision problem. Paperback ed. Zbl 0970.03001
Börger, Egon; Grädel, Erich; Gurevich, Yu.
19
2001
The underlying logic of Hoare logic. Zbl 1012.03514
Blass, Andreas; Gurevich, Yuri
2
2001
Inadequacy of computable loop invariants. Zbl 1365.68315
Blass, Andreas; Gurevich, Yuri
2
2001
Herbrand’s theorem and equational reasoning: Problems and solutions. Zbl 1049.68120
Degtyarev, Anatoli; Gurevich, Yuri; Voronkov, Andrei
1
2001
From invariants to canonization. Zbl 1049.68100
Gurevich, Yuri
1
2001
The sequential ASM thesis. Zbl 1049.68155
Gurevich, Yuri
1
2001
Sequential abstract-state machines capture sequential algorithms. Zbl 1365.68258
Gurevich, Yuri
39
2000
Decidability and complexity of simultaneous rigid E-unification with one variable and related results. Zbl 0944.68103
Degtyarev, A.; Gurevich, Y.; Narendran, P.; Veanes, M.; Voronkov, A.
7
2000
The logic of choice. Zbl 0973.03007
Blass, Andreas; Gurevich, Yuri
5
2000
Existential second-order logic over strings. Zbl 1095.03503
Eiter, Thomas; Gurevich, Yuri; Gottlob, Georg
4
2000
Background, reserve, and Gandy machines. Zbl 0973.03053
Blass, Andreas; Gurevich, Yuri
3
2000
Definability and undefinability with real order at the background. Zbl 0963.03062
Gurevich, Yuri; Rabinovich, Alexander
2
2000
Abstract state machines. Theory and applications. International workshop, ASM 2000, Monte Verità, Switzerland, March 19–24, 2000. Proceedings. Zbl 0947.00040
Gurevich, Yuri; Kutter, Philipp W.; Odersky, Martin; Thiele, Lothar
2
2000
Abstract state machines and computationally complete query languages. Zbl 0976.68061
Blass, Andreas; Gurevich, Yuri; Van den Bussche, Jan
2
2000
Partially ordered runs: A case study. Zbl 0976.68512
Gurevich, Yuri; Rosenzweig, Dean
2
2000
The underlying logic of Hoare logic. Zbl 1012.03047
Blass, Andreas; Gurevich, Yuri
1
2000
Choiceless polynomial time. Zbl 0936.03037
Blass, Andreas; Gurevich, Yuri; Shelah, Saharon
17
1999
The sequential ASM thesis. Zbl 0931.68044
Gurevich, Yuri
2
1999
Logic with equality: Partisan corroboration and shifted pairing. Zbl 1004.03036
Gurevich, Yuri; Veanes, Margus
1
1999
Metafinite model theory. Zbl 0892.68033
Grädel, Erich; Gurevich, Yuri
14
1998
The decidability of simultaneous rigid \(E\)-unification with one variable. Zbl 0903.03007
Degtyarev, Anatoli; Gurevich, Yuri; Narendran, Paliath; Veanes, Margus; Voronkov, Andrei
3
1998
The classical decision problem. Zbl 0865.03004
Börger, Egon; Grädel, Erich; Gurevich, Yu.
78
1997
Monadic simultaneous rigid \(E\)-unification and related problems. Zbl 1401.03037
Gurevich, Yuri; Voronkov, Andrei
6
1997
Recursive abstract state machines. Zbl 0960.68091
Gurevich, Yuri; Spielmann, Marc
3
1997
Syntax vs. semantics on finite structures. Zbl 0884.03035
Alechina, Natasha; Gurevich, Yuri
3
1997
Gurevich abstract state machines and Schönhage storage modification machines. Zbl 0960.68089
Dexter, Scott; Doyle, Patrick; Gurevich, Yuri
2
1997
The linear time hierarchy theorems for abstract state machines and RAMs. Zbl 0960.68070
Blass, Andreas; Gurevich, Yuri
2
1997
From invariants to canonization. Zbl 0886.68065
Gurevich, Yuri
2
1997
On finite rigid structures. Zbl 0860.03029
Gurevich, Yuri; Shelah, Saharon
10
1996
Normal forms for second-order logic over finite structures, and classification of NP optimization problems. Zbl 0883.03015
Eiter, Thomas; Gottlob, Georg; Gurevich, Yuri
5
1996
Herbrand’s theorem and equational reasoning: Problems and solutions. Zbl 0866.68102
Degtyarev, Anatoli; Gurevich, Yuri; Voronkov, Andrei
5
1996
Evolving algebras 1993: Lipari guide. Zbl 0852.68053
Gurevich, Yuri
51
1995
Matrix transformation is complete for the average case. Zbl 0828.68078
Blass, Andreas; Gurevich, Yuri
11
1995
The bakery algorithm: Yet another specification and verification. Zbl 0844.68080
Börger, Egon; Gurevich, Yuri; Rosenzweig, Dean
5
1995
Tailoring recursion for complexity. Zbl 0837.03034
Grädel, Erich; Gurevich, Yuri
3
1995
Platonism, constructivism, and computer proofs vs. proofs by hand. Zbl 1026.03503
Gurevich, Yuri
3
1995
Group membership protocol: Specification and verification. Zbl 0852.68055
Gurevich, Yuri; Mani, Raghu
1
1995
Datalog vs first-order logic. Zbl 0824.68034
Ajtai, Miklos; Gurevich, Yuri
13
1994
The semantics of the C programming language. Zbl 0788.68018
Gurevich, Yuri; Huggins, James K.
8
1993
Randomizing reductions of search problems. Zbl 0789.68056
Blass, Andreas; Gurevich, Yuri
5
1993
Zero-one laws. Zbl 0754.03022
Gurevich, Yuri
1
1992
Average case completeness. Zbl 0825.68420
Gurevich, Yuri
33
1991
Evolving algebras. A tutorial introduction. Zbl 0757.68076
Gurevich, Yuri
5
1991
Average case complexity. Zbl 0766.68041
Gurevich, Yuri
3
1991
On the reduction theory for average case complexity. Zbl 0789.68068
Blass, Andreas; Gurevich, Yuri
1
1991
Algebraic operational semantics and Occam. Zbl 0925.68302
Gurevich, Yuri; Moss, Lawrence
4
1990
Nondeterministic linear-time tasks may require substantially nonlinear deterministic time in the case of sublinear work space. Zbl 0699.68063
Gurevich, Yuri; Shelah, Saharon
4
1990
Nearly linear time. Zbl 0673.03026
Gurevich, Yuri; Shelah, Saharon
10
1989
On the strength of the interpretation method. Zbl 0699.03031
Gurevich, Yuri; Shelah, Saharon
7
1989
...and 49 more Documents
all top 5

Cited by 976 Authors

39 Gurevich, Yuri
21 Shelah, Saharon
15 Kamide, Norihiro
14 Rabinovich, Alexander
13 Grädel, Erich
12 Blass, Andreas Raphael
11 Kolaitis, Phokion G.
9 Veanes, Margus
8 Börger, Egon
8 Dawar, Anuj
8 Durand, Bruno
8 Grohe, Martin
8 Hemaspaandra, Lane A.
8 Wansing, Heinrich Theodor
7 Dershowitz, Nachum
7 Hella, Lauri T.
7 Makowsky, Johann-Andreas
7 Reynolds, Mark Alexander
7 Vardi, Moshe Y.
6 Eiter, Thomas
6 Gottlob, Georg
6 Otto, Martin
6 Rossman, Benjamin
6 Roşu, Grigore
6 Van den Bussche, Jan
5 Glass, Andrew M. W.
5 Leivant, Daniel M.
5 Schellhorn, Gerhard
5 Sevenster, Merlijn
5 Turull Torres, Jose Maria
4 Allender, Eric W.
4 Delon, Françoise
4 Ferrarotti, Flavio Antonio
4 Finkel, Olivier
4 Glaßer, Christian
4 Grandjean, Etienne
4 Grumbach, Stéphane
4 Kincaid, Rex K.
4 Meseguer Guaita, José
4 Odintsov, Sergei P.
4 Potapov, Igor
4 Schewe, Klaus-Dieter
4 Sciavicco, Guido
4 Vollmer, Heribert
4 Voronkov, Andrei
4 Zhang, Yan
4 Zimmermann, Martín G.
3 Arenas, Marcelo
3 Beauquier, Danièle
3 Benedikt, Michael A.
3 Biskup, Joachim
3 Bjørner, Nikolaj S.
3 Chatterjee, Krishnendu
3 Colcombet, Thomas
3 Compton, Kevin J.
3 Denecker, Marc
3 Droste, Manfred
3 Fontaine, Pascal
3 Goranko, Valentin F.
3 Hasson, Assaf
3 Hodkinson, Ian Martin
3 Holland, Wilbur Charles jun.
3 Lahav, Ori
3 Langer, Alexander
3 Libkin, Leonid O.
3 Lowe, Timothy J.
3 Martins, Ana Teresa
3 Mix Barrington, David A.
3 Montanari, Angelo
3 Myasnikov, Alexei G.
3 Paschos, Vangelis Th.
3 Pavan, Aduri
3 Rossmanith, Peter
3 Saccà, Domenico
3 Sandu, Gabriel
3 Sazonov, Vladimir Yu.
3 Schmitt, Peter H.
3 Schupp, Paul E.
3 Schwentick, Thomas
3 Selman, Alan L.
3 Şerbănuţă, Traian Florin
3 Shen, Alexander
3 Shpilrain, Vladimir
3 Stärk, Robert F.
3 ten Cate, Balder David
3 Thomas, Wolfgang
3 Truss, John Kenneth
3 Väänänen, Jouko Antero
3 Vianu, Victor
3 Virtema, Jonni
3 Wang, Qing
3 Zakharyaschev, Michael Viktorovich
3 Zanardo, Alberto
2 Abiteboul, Serge
2 Abraham, Uri
2 Adamatzky, Andrew I.
2 Areces, Carlos
2 Atserias, Albert
2 Avron, Arnon
2 Baeten, Jos C. M.
...and 876 more Authors
all top 5

Cited in 129 Serials

99 Theoretical Computer Science
48 Journal of Computer and System Sciences
47 Annals of Pure and Applied Logic
46 The Journal of Symbolic Logic
42 Information and Computation
23 Information Processing Letters
16 Studia Logica
13 Theory of Computing Systems
12 Israel Journal of Mathematics
12 Journal of Philosophical Logic
12 Annals of Mathematics and Artificial Intelligence
11 Artificial Intelligence
9 Transactions of the American Mathematical Society
9 Archive for Mathematical Logic
9 Journal of Logic, Language and Information
9 The Bulletin of Symbolic Logic
8 Discrete Applied Mathematics
7 Notre Dame Journal of Formal Logic
7 Computational Complexity
7 Journal of Applied Non-Classical Logics
7 Journal of Applied Logic
6 Algebra and Logic
6 Formal Aspects of Computing
6 MSCS. Mathematical Structures in Computer Science
6 Mathematical Logic Quarterly (MLQ)
5 Archiv für Mathematische Logik und Grundlagenforschung
5 Discrete Mathematics
5 Programming and Computer Software
5 Order
5 Journal of Automated Reasoning
5 Theory and Practice of Logic Programming
5 Logical Methods in Computer Science
4 Acta Informatica
4 Advances in Mathematics
4 Journal of Soviet Mathematics
4 Mathematical Systems Theory
4 Science of Computer Programming
4 Journal of Mathematical Sciences (New York)
4 Journal of Logical and Algebraic Methods in Programming
3 Algebra Universalis
3 Journal of Algebra
3 Synthese
3 Journal of Symbolic Computation
3 Algorithmica
3 Computers & Operations Research
3 International Journal of Foundations of Computer Science
3 Soft Computing
3 Journal of Mathematical Logic
3 ACM Transactions on Computational Logic
3 Logica Universalis
3 The Review of Symbolic Logic
3 Prikladnaya Diskretnaya Matematika
2 Journal of Statistical Physics
2 Mathematica Slovaca
2 Journal of Complexity
2 New Generation Computing
2 Annals of Operations Research
2 International Journal of Algebra and Computation
2 European Journal of Operational Research
2 Journal of the ACM
2 Philosophical Transactions of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences
2 Lobachevskii Journal of Mathematics
2 The Journal of Logic and Algebraic Programming
2 Logic and Logical Philosophy
2 Natural Computing
2 Computer Languages, Systems & Structures
2 Journal of Discrete Algorithms
2 RAIRO. Theoretical Informatics and Applications
1 Acta Mechanica
1 Fluid Dynamics
1 International Journal of General Systems
1 Journal of Mathematical Biology
1 Journal of Mathematical Physics
1 Problems of Information Transmission
1 Reviews of Modern Physics
1 ZAMP. Zeitschrift für angewandte Mathematik und Physik
1 BIT
1 Fuzzy Sets and Systems
1 Illinois Journal of Mathematics
1 Manuscripta Mathematica
1 Mathematics and Computers in Simulation
1 Mathematical Programming
1 Networks
1 Proceedings of the American Mathematical Society
1 SIAM Journal on Computing
1 Siberian Mathematical Journal
1 Topology and its Applications
1 Cybernetics
1 European Journal of Combinatorics
1 Optimization
1 International Journal of Approximate Reasoning
1 Journal of Global Optimization
1 Discrete Event Dynamic Systems
1 Numerical Algorithms
1 Annals of Physics
1 Automation and Remote Control
1 International Journal of Computer Mathematics
1 Mémoires de la Société Mathématique de France. Nouvelle Série
1 RAIRO. Informatique Théorique et Applications
1 Indagationes Mathematicae. New Series
...and 29 more Serials
all top 5

Cited in 42 Fields

512 Computer science (68-XX)
449 Mathematical logic and foundations (03-XX)
65 Combinatorics (05-XX)
46 Order, lattices, ordered algebraic structures (06-XX)
39 Group theory and generalizations (20-XX)
23 Operations research, mathematical programming (90-XX)
19 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
17 Information and communication theory, circuits (94-XX)
12 History and biography (01-XX)
12 General algebraic systems (08-XX)
11 Field theory and polynomials (12-XX)
9 Dynamical systems and ergodic theory (37-XX)
8 Probability theory and stochastic processes (60-XX)
7 General topology (54-XX)
6 General and overarching topics; collections (00-XX)
5 Quantum theory (81-XX)
4 Linear and multilinear algebra; matrix theory (15-XX)
4 Topological groups, Lie groups (22-XX)
4 Fluid mechanics (76-XX)
3 Commutative algebra (13-XX)
3 Biology and other natural sciences (92-XX)
2 Number theory (11-XX)
2 Category theory; homological algebra (18-XX)
2 Measure and integration (28-XX)
2 Partial differential equations (35-XX)
2 Convex and discrete geometry (52-XX)
2 Manifolds and cell complexes (57-XX)
2 Numerical analysis (65-XX)
2 Statistical mechanics, structure of matter (82-XX)
2 Systems theory; control (93-XX)
2 Mathematics education (97-XX)
1 Algebraic geometry (14-XX)
1 Associative rings and algebras (16-XX)
1 Nonassociative rings and algebras (17-XX)
1 Real functions (26-XX)
1 Several complex variables and analytic spaces (32-XX)
1 Ordinary differential equations (34-XX)
1 Integral transforms, operational calculus (44-XX)
1 Geometry (51-XX)
1 Global analysis, analysis on manifolds (58-XX)
1 Mechanics of deformable solids (74-XX)
1 Relativity and gravitational theory (83-XX)

Citations by Year

Wikidata Timeline

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.