×
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 · ORCID · Wikidata · Math-Net.Ru · dblp · IdRef
all top 5

Co-Authors

69 single-authored
70 Blass, Andreas Raphael
22 Shelah, Saharon
6 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 Rabinovich, Alexander
3 Van den Bussche, Jan
3 Wallace, Charles
2 Ajtai, Miklós
2 Baldwin, John T.
2 Barwise, Kenneth Jon
2 Baudisch, Andreas
2 Bjørner, Nikolaj S.
2 Bokut, Leonid A.
2 Dekhtyar, Alexander M.
2 Dickmann, Max A.
2 Ebbinghaus, Heinz-Dieter
2 Eklof, Paul C.
2 Feferman, Solomon
2 Flum, Jörg
2 Horty, John F.
2 Kaufmann, Matt
2 Keisler, Howard Jerome
2 Kolaitis, Phokion G.
2 Koryakov, Igor Olegovich
2 Makowsky, Johann-Andreas
2 Matiyasevich, Yuriĭ Vladimirovich
2 McCarty, David Charles
2 Mundici, Daniele
2 Nadel, Mark E.
2 Narendran, Paliath
2 Neeman, Itay
2 Passmore, Grant Olney
2 Schmerl, James H.
2 Seese, Detlef G.
2 Steinhorn, Charles I.
2 Tillmann, Nikolai
2 Tuschik, Hans-Peter
2 Väänänen, Jouko Antero
2 Weese, Martin
2 Ziegler, Martin
1 Aanderaa, Stål Olav
1 Alechina, Natasha
1 Arkhangel’skiĭ, Dmitriĭ A.
1 Artemov, Sergei
1 Baizhanov, Bektur Sembiuly
1 Barak, Amnon B.
1 Barnett, Mike
1 Bārzdiņš, Jānis
1 Beklemishev, Lev D.
1 Belegradek, Oleg V.
1 Belyaev, V. Ya.
1 Bocharov, Alex
1 Burgess, John P.
1 Daderkin, Dmitri O.
1 Dawar, Anuj
1 de Caso, Guido
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 Levin, Leonid A.
1 Lomazova, Irina A.
1 Longpré, Luc
1 Magidor, Menachem
1 Mani, Raghu
1 Meinke, Karl
1 Melentyev, Artem
1 Mints, Grigoriĭ Efroimovich
1 Morris, James M.
...and 35 more Co-Authors
all top 5

Serials

27 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)
8 Theoretical Computer Science
7 Algebra i Logika
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
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
3 Lecture Notes in Computer Science
3 Perspectives in Mathematical 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 Russian Mathematical Surveys
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

Publications by Year

Citations contained in zbMATH Open

157 Publications have been cited 1,308 times in 882 Documents Cited by Year
The classical decision problem. Zbl 0865.03004
Börger, Egon; Grädel, Erich; Gurevich, Yu.
90
1997
Model-theoretic logics. (Parts A-C). Zbl 0587.03001
65
1985
Evolving algebras 1993: Lipari guide. Zbl 0852.68053
Gurevich, Yuri
57
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
47
1982
Sequential abstract-state machines capture sequential algorithms. Zbl 1365.68258
Gurevich, Yuri
47
2000
Intuitionistic logic with strong negation. Zbl 0366.02015
Gurevich, Yuri
43
1977
Average case completeness. Zbl 0825.68420
Gurevich, Yuri
35
1991
Henkin quantifiers and complete problems. Zbl 0618.03016
Blass, Andreas; Gurevich, Yuri
29
1986
Expected computation time for Hamiltonian path problem. Zbl 0654.68083
Gurevich, Yuri; Shelah, Saharon
27
1987
Modest theory of short chains. I. Zbl 0464.03013
Gurevich, Yuri
27
1979
The classical decision problem. Paperback ed. Zbl 0970.03001
Börger, Egon; Grädel, Erich; Gurevich, Yu.
23
2001
Remarks on Berger’s paper on the domino problem. Zbl 0248.02053
Gurevich, Yu. Sh.; Koryakov, I. O.
22
1972
Choiceless polynomial time. Zbl 0936.03037
Blass, Andreas; Gurevich, Yuri; Shelah, Saharon
21
1999
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
20
1984
A zero-one law for logic with a fixed-point operator. Zbl 0608.68077
Blass, Andreas; Gurevich, Yuri; Kozen, Dexter
18
1985
Monotone versus positive. Zbl 0637.94022
Ajtai, Miklos; Gurevich, Yuri
17
1987
Monadic theory of order and topology in ZFC. Zbl 0516.03007
Gurevich, Yuri; Shelah, Saharon
17
1982
Rabin’s uniformization problem. Zbl 0537.03007
Gurevich, Yuri; Shelah, Saharon
17
1983
A natural axiomatization of computability and proof of Church’s thesis. Zbl 1167.03027
Dershowitz, Nachum; Gurevich, Yuri
17
2008
The decision problem for branching time logic. Zbl 0584.03006
Gurevich, Yuri; Shelah, Saharon
16
1985
The theory of ordered abelian groups does not have the independence property. Zbl 0507.03012
Gurevich, Y.; Schmitt, P. H.
16
1984
The monadic theory of \(\omega_ 2\). Zbl 0549.03010
Gurevich, Yuri; Magidor, Menachem; Shelah, Saharon
16
1983
Definability by constant-depth polynomial-size circuits. Zbl 0629.94023
Denenberg, Larry; Gurevich, Yuri; Shelah, Saharon
15
1986
The decision problem for linear temporal logic. Zbl 0573.03004
Burgess, John P.; Gurevich, Yuri
15
1985
Metafinite model theory. Zbl 0892.68033
Grädel, Erich; Gurevich, Yuri
15
1998
Modest theory of short chains. II. Zbl 0464.03014
Gurevich, Yuri; Shelah, Saharon
15
1979
Datalog vs first-order logic. Zbl 0824.68034
Ajtai, Miklos; Gurevich, Yuri
14
1994
Abstract state machines capture parallel algorithms. Zbl 1365.68253
Blass, Andreas; Gurevich, Yuri
14
2003
A logic for constant-depth circuits. Zbl 0592.94023
Gurevich, Yuri; Lewis, Harry R.
13
1984
Toward logic tailored for computational complexity. Zbl 0622.03030
Gurevich, Yuri
13
1984
On polynomial time computation over unordered structures. Zbl 1020.03038
Blass, Andreas; Gurevich, Yuri; Shelah, Saharon
13
2002
Nearly linear time. Zbl 0673.03026
Gurevich, Yuri; Shelah, Saharon
12
1989
Matrix transformation is complete for the average case. Zbl 0828.68078
Blass, Andreas; Gurevich, Yuri
12
1995
Monadic theory of order and topology, I. Zbl 0359.02061
Gurevich, Yuri
11
1977
Interpreting second-order logic in the monadic theory of order. Zbl 0559.03008
Gurevich, Yuri; Shelah, Saharon
11
1983
On finite rigid structures. Zbl 0860.03029
Gurevich, Yuri; Shelah, Saharon
11
1996
The decision problem for standard classes. Zbl 0339.02045
Gurevich, Yuri
10
1976
Elementary properties of ordered Abelian groups. Zbl 0178.31403
Gurevich, Yu. Sh.
10
1965
Fixed point logics. Zbl 1002.03030
Dawar, Anuj; Gurevich, Yuri
10
2002
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
Play to test. Zbl 1183.68176
Blass, Andreas; Gurevich, Yuri; Nachmanson, Lev; Veanes, Margus
9
2006
Existential fixed-point logic. Zbl 0647.03018
Blass, Andreas; Gurevich, Yuri
8
1987
The monadic theory and the ”next world”. Zbl 0575.03028
Gurevich, Yuri; Shelah, Saharon
8
1984
Membership problem for the modular group. Zbl 1136.03013
Gurevich, Yuri; Schupp, Paul
8
2007
The semantics of the C programming language. Zbl 0788.68018
Gurevich, Yuri; Huggins, James K.
8
1993
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
The word problem for lattice-ordered groups. Zbl 0527.06009
Glass, A. M. W.; Gurevich, Yuri
7
1983
Logic of infons, the propositional case. Zbl 1328.03032
Gurevich, Yuri; Neeman, Itay
6
2011
Equivalence relations, invariants, and normal forms. Zbl 0545.68035
Blass, Andreas; Gurevich, Yuri
6
1984
Ordinary interactive small-step algorithms. I. Zbl 1367.68094
Blass, Andreas; Gurevich, Yuri
6
2006
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
6
2008
Expanded theory of ordered Abelian groups. Zbl 0368.06016
Gurevich, Yuri
6
1977
Interactive small-step algorithms. I: Axiomatization. Zbl 1132.68029
Blass, Andreas; Gurevich, Yuri; Rosenzweig, Dean; Rossman, Benjamin
6
2007
Normal forms for second-order logic over finite structures, and classification of NP optimization problems. Zbl 0883.03015
Eiter, Thomas; Gottlob, Georg; Gurevich, Yuri
6
1996
Monadic theory of order and topology. II. Zbl 0428.03034
Gurevich, Yuri
6
1979
Algorithms: a quest for absolute definitions. Zbl 1169.68408
Blass, Andreas; Gurevich, Yuri
6
2003
Monadic simultaneous rigid \(E\)-unification and related problems. Zbl 1401.03037
Gurevich, Yuri; Voronkov, Andrei
6
1997
The bakery algorithm: Yet another specification and verification. Zbl 0844.68080
Börger, Egon; Gurevich, Yuri; Rosenzweig, Dean
6
1995
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 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
Evolving algebras. A tutorial introduction. Zbl 0757.68076
Gurevich, Yuri
5
1991
Randomizing reductions of search problems. Zbl 0789.68056
Blass, Andreas; Gurevich, Yuri
5
1993
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
Existential second-order logic over strings. Zbl 1095.03503
Eiter, Thomas; Gurevich, Yuri; Gottlob, Georg
4
2000
Existential interpretation. II. Zbl 0493.03020
Gurevich, Yuri
4
1982
Existentielle Interpretation. Zbl 0294.02023
Gurevich, Yu. S.
4
1965
Syntax vs. semantics on finite structures. Zbl 0884.03035
Alechina, Natasha; Gurevich, Yuri
4
1997
Algebraic operational semantics and Occam. Zbl 0925.68302
Gurevich, Yuri; Moss, Lawrence
4
1990
Strong extension axioms and Shelah’s zero-one law for choiceless polynomial time. Zbl 1045.03039
Blass, Andreas; Gurevich, Yuri
4
2003
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
Model-theoretic logics. (Parts D-F). Zbl 0587.03002
3
1985
Optimal ancilla-free Pauli+V circuits for axial rotations. Zbl 1333.81067
Blass, Andreas; Bocharov, Alex; Gurevich, Yuri
3
2015
Crumbly spaces. Zbl 0515.03019
Gurevich, Yuri
3
1982
Recursive abstract state machines. Zbl 0960.68091
Gurevich, Yuri; Spielmann, Marc
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
A geometric zero-one law. Zbl 1181.03037
Gilman, Robert H.; Gurevich, Yuri; Miasnikov, Alexei
3
2009
Abstract state machines: an overview of the project. Zbl 1202.68193
Gurevich, Yuri
3
2004
The challenger-solver game: Variations on the theme of \(P=NP\). Zbl 0759.68035
Gurevich, Yuri
3
1989
Average case complexity. Zbl 0766.68041
Gurevich, Yuri
3
1991
Tailoring recursion for complexity. Zbl 0837.03034
Grädel, Erich; Gurevich, Yuri
3
1995
Background, reserve, and Gandy machines. Zbl 0973.03053
Blass, Andreas; Gurevich, Yuri
3
2000
Can abstract state machines be useful in language theory? Zbl 1111.68054
Gurevich, Yuri; Veanes, Margus; Wallace, Charles
2
2007
From invariants to canonization. Zbl 0886.68065
Gurevich, Yuri
2
1997
Time polynomial in input or output. Zbl 0692.03026
Gurevich, Yuri; Shelah, Saharon
2
1989
A contribution to the elementary theory of lattice ordered abelian groups and K-lineals. Zbl 0189.32604
Gurevich, Yu. Sh.
2
1967
Decision problem for separated distributive lattices. Zbl 0508.03016
Gurevich, Yuri
2
1983
Propositional primal logic with disjunction. Zbl 1327.03023
Beklemishev, Lev; Gurevich, Yuri
2
2014
Some algorithmic questions of the theory of classes of algebraic systems. Zbl 0248.02048
Gurevich, Yu. Sh.
2
1966
Ordinary interactive small-step algorithms. II. Zbl 1367.68095
Blass, Andreas; Gurevich, Yuri
2
2007
Partial updates. Zbl 1080.68020
Gurevich, Yuri; Tillmann, Nikolai
2
2005
The sequential ASM thesis. Zbl 0931.68044
Gurevich, Yuri
2
1999
Circuit pedantry. Zbl 1428.68149
Blass, Andreas; Gurevich, Yuri
1
2019
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
2
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
6
2011
Persistent queries in the behavioral theory of algorithms. Zbl 1351.68095
Blass, Andreas; Gurevich, Yuri
1
2011
Exact exploration and hanging algorithms. Zbl 1287.68042
Blass, Andreas; Dershowitz, Nachum; Gurevich, Yuri
1
2010
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
17
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
6
2008
Why sets? Zbl 1133.03347
Blass, Andreas; Gurevich, Yuri
1
2008
Membership problem for the modular group. Zbl 1136.03013
Gurevich, Yuri; Schupp, Paul
8
2007
Interactive small-step algorithms. I: Axiomatization. Zbl 1132.68029
Blass, Andreas; Gurevich, Yuri; Rosenzweig, Dean; Rossman, Benjamin
6
2007
Can abstract state machines be useful in language theory? Zbl 1111.68054
Gurevich, Yuri; Veanes, Margus; Wallace, Charles
2
2007
Ordinary interactive small-step algorithms. II. Zbl 1367.68095
Blass, Andreas; Gurevich, Yuri
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
2
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
6
2006
Interactive algorithms 2005 with added appendix. Zbl 1266.68198
Gurevich, Yuri
2
2006
Algorithms: a quest for absolute definitions. Zbl 1110.03023
Blass, Andreas; 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
Semantic essence of AsmL: extended abstract. Zbl 1104.68527
Gurevich, Yuri; Rossman, Benjamin; Schulte, Wolfram
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
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
Abstract state machines capture parallel algorithms. Zbl 1365.68253
Blass, Andreas; Gurevich, Yuri
14
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
13
2002
Fixed point logics. Zbl 1002.03030
Dawar, Anuj; Gurevich, Yuri
10
2002
Abstract state machines and computationally complete query languages. Zbl 1009.68030
Blass, Andreas; Gurevich, Yuri; Van den Bussche, Jan
2
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
The classical decision problem. Paperback ed. Zbl 0970.03001
Börger, Egon; Grädel, Erich; Gurevich, Yu.
23
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
47
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
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
21
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
15
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.
90
1997
Monadic simultaneous rigid \(E\)-unification and related problems. Zbl 1401.03037
Gurevich, Yuri; Voronkov, Andrei
6
1997
Syntax vs. semantics on finite structures. Zbl 0884.03035
Alechina, Natasha; Gurevich, Yuri
4
1997
Recursive abstract state machines. Zbl 0960.68091
Gurevich, Yuri; Spielmann, Marc
3
1997
From invariants to canonization. Zbl 0886.68065
Gurevich, Yuri
2
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
On finite rigid structures. Zbl 0860.03029
Gurevich, Yuri; Shelah, Saharon
11
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
6
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
57
1995
Matrix transformation is complete for the average case. Zbl 0828.68078
Blass, Andreas; Gurevich, Yuri
12
1995
The bakery algorithm: Yet another specification and verification. Zbl 0844.68080
Börger, Egon; Gurevich, Yuri; Rosenzweig, Dean
6
1995
Platonism, constructivism, and computer proofs vs. proofs by hand. Zbl 1026.03503
Gurevich, Yuri
3
1995
Tailoring recursion for complexity. Zbl 0837.03034
Grädel, Erich; 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
14
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
35
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
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
...and 57 more Documents
all top 5

Cited by 1,076 Authors

40 Gurevich, Yuri
21 Shelah, Saharon
19 Kamide, Norihiro
15 Grädel, Erich
15 Rabinovich, Alexander
13 Blass, Andreas Raphael
11 Kolaitis, Phokion G.
9 Dawar, Anuj
9 Durand, Bruno
9 Veanes, Margus
8 Börger, Egon
8 Dershowitz, Nachum
8 Grohe, Martin
8 Hemaspaandra, Lane A.
8 Makowsky, Johann-Andreas
8 Wansing, Heinrich Theodor
7 Eiter, Thomas
7 Gottlob, Georg
7 Hella, Lauri T.
7 Otto, Martin
7 Reynolds, Mark Alexander
7 Rossman, Benjamin
7 Van den Bussche, Jan
7 Vardi, Moshe Ya’akov
6 Ferrarotti, Flavio Antonio
6 Glass, Andrew M. W.
6 Roşu, Grigore
5 Leivant, Daniel M.
5 Schellhorn, Gerhard
5 Schewe, Klaus-Dieter
5 Sevenster, Merlijn
5 Turull Torres, Jose Maria
5 Virtema, Jonni
4 Allender, Eric W.
4 Delon, Françoise
4 Droste, Manfred
4 Finkel, Olivier
4 Glaßer, Christian
4 Goranko, Valentin F.
4 Grandjean, Etienne
4 Grumbach, Stéphane
4 Kincaid, Rex K.
4 Meseguer Guaita, José
4 Odintsov, Sergei P.
4 Potapov, Igor
4 Pratt-Hartmann, Ian
4 Sciavicco, Guido
4 Shen, Alexander
4 Vollmer, Heribert
4 Voronkov, Andrei
4 Zakharyaschev, Michael Viktorovich
4 Zhang, Yan
4 Zimmermann, Martín G.
3 Arenas, Marcelo
3 Barceló, Pablo
3 Beauquier, Danièle
3 Benedikt, Michael A.
3 Biskup, Joachim
3 Bjørner, Nikolaj S.
3 Bournez, Olivier
3 Chatterjee, Krishnendu
3 Chernikov, Artem
3 Colcombet, Thomas
3 Compton, Kevin J.
3 Denecker, Marc
3 Fontaine, Pascal
3 Hasson, Assaf
3 Hodkinson, Ian Martin
3 Holland, Wilbur Charles jun.
3 Köbler, Johannes
3 Lahav, Ori
3 Langer, Alexander
3 Levin, Leonid A.
3 Libkin, Leonid O.
3 Lohrey, Markus
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 Rybalov, Aleksandr Nikolaevich
3 Saccà, Domenico
3 Sandu, Gabriel
3 Sazonov, Vladimir Yu.
3 Schmitt, Peter H.
3 Schupp, Paul E.
3 Schwentick, Thomas
3 Selman, Alan Louis
3 Şerbănuţă, Traian Florin
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 Wang, Qing
...and 976 more Authors
all top 5

Cited in 135 Serials

103 Theoretical Computer Science
49 Journal of Computer and System Sciences
48 The Journal of Symbolic Logic
48 Annals of Pure and Applied Logic
45 Information and Computation
23 Information Processing Letters
17 Studia Logica
14 Journal of Philosophical Logic
13 Artificial Intelligence
13 Israel Journal of Mathematics
13 Theory of Computing Systems
12 Annals of Mathematics and Artificial Intelligence
10 Transactions of the American Mathematical Society
10 Archive for Mathematical Logic
10 Journal of Logic, Language and Information
10 The Bulletin of Symbolic Logic
8 Discrete Applied Mathematics
7 Algebra and Logic
7 Notre Dame Journal of Formal Logic
7 Computational Complexity
7 Journal of Applied Non-Classical Logics
7 Journal of Applied Logic
6 Formal Aspects of Computing
6 MSCS. Mathematical Structures in Computer Science
6 Mathematical Logic Quarterly (MLQ)
6 Logical Methods in Computer Science
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 Journal of Logical and Algebraic Methods in Programming
5 Prikladnaya Diskretnaya Matematika
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 Soft Computing
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 Journal of Mathematical Logic
3 Lobachevskii Journal of Mathematics
3 ACM Transactions on Computational Logic
3 Logica Universalis
3 The Review of Symbolic Logic
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 Fundamenta Informaticae
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 Physics Letters. B
1 Problems of Information Transmission
1 Reviews of Modern Physics
1 ZAMP. Zeitschrift für angewandte Mathematik und Physik
1 The Mathematical Intelligencer
1 BIT
1 Fuzzy Sets and Systems
1 Illinois Journal of Mathematics
1 Journal of Pure and Applied Algebra
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 SIAM Journal on Discrete Mathematics
1 Journal of Global Optimization
1 Discrete Event Dynamic Systems
1 Numerical Algorithms
1 Annals of Physics
...and 35 more Serials
all top 5

Cited in 42 Fields

563 Computer science (68-XX)
489 Mathematical logic and foundations (03-XX)
71 Combinatorics (05-XX)
52 Order, lattices, ordered algebraic structures (06-XX)
42 Group theory and generalizations (20-XX)
28 Operations research, mathematical programming (90-XX)
20 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
17 Information and communication theory, circuits (94-XX)
13 Field theory and polynomials (12-XX)
12 History and biography (01-XX)
12 General algebraic systems (08-XX)
10 Dynamical systems and ergodic theory (37-XX)
7 General topology (54-XX)
7 Probability theory and stochastic processes (60-XX)
6 General and overarching topics; collections (00-XX)
6 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)
4 Biology and other natural sciences (92-XX)
3 Number theory (11-XX)
3 Commutative algebra (13-XX)
3 Category theory; homological algebra (18-XX)
3 Convex and discrete geometry (52-XX)
2 Measure and integration (28-XX)
2 Partial differential equations (35-XX)
2 Manifolds and cell complexes (57-XX)
2 Numerical analysis (65-XX)
2 Statistical mechanics, structure of matter (82-XX)
2 Relativity and gravitational theory (83-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)

Citations by Year

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