Y. Gurevich

发表

Saharon Shelah, Yuri Gurevich, S. Shelah, 1994, Journal of Symbolic Logic.
S. Shelah, Y. Gurevich, A. Blass, 1991 .
Y. Gurevich, 1990 .
Yuri Gurevich, Erich Grädel, Egon Börger, 1997, Perspectives in Mathematical Logic.
Nikolaj Bjørner, Yuri Gurevich, Guido de Caso, 2012, Correct Reasoning.
Y. Gurevich, Itay Neeman Ucla, 2009 .
J. Barwise, S. Feferman, Y. Gurevich, 2016 .
Nikolaj Bjørner, Margus Veanes, Wolfram Schulte, 2009, Int. J. Softw. Informatics.
S. Shelah, Y. Gurevich, M. Magidor, 1983 .
Y. Gurevich, A. M. Ramer, R. S. Zeitman, 1994 .
Saharon Shelah, Yuri Gurevich, S. Shelah, 1984 .
Y. Gurevich, A. Blass, A. Bocharov, 2014, 1412.1033.
Y. Gurevich, I. O. Koryakov, 1972 .
Y. Gurevich, 2020 .
Y. Gurevich, A. Blass, 2006 .
Y. Gurevich, K. Svore, A. Bocharov, 2013, 1303.1411.
Georg Gottlob, Thomas Eiter, Yuri Gurevich, 1996, Ann. Pure Appl. Log..
Yuri Gurevich, A. M. W. Glass, Y. Gurevich, 1983 .
Y. Gurevich, Grant Olney, 2011 .
Y. Gurevich, 2011 .
Y. Gurevich, A. Blass, N. Dershowitz, 2009 .
Y. Gurevich, I. Neeman, 2009 .
Yuri Gurevich, Y. Gurevich, Carlos Cotrini, 2012 .
Andreas Blass, Yuri Gurevich, Y. Gurevich, 2018, Mathematical Structures in Computer Science.
Y. Gurevich, A. Blass, 2019 .
Y. Gurevich, A. Blass, 2020 .
Y. Gurevich, A. Ravn, M. Broy, 2008 .
Charles Wallace, Nandit Soparkar, Yuri Gurevich, 1995, International Conference on Management of Data.
Y. Gurevich, 2012, SOFSEM.
Egon Börger, Yuri Gurevich, Erich Grädel, 1997 .
Egon Börger, Andreas Blass, Yuri Gurevich, 2021 .
Egon Börger, Yuri Gurevich, Karl Meinke, 1993 .
S. Shelah, N. Immerman, Y. Gurevich, 2008 .
Andrei Voronkov, Yuri Gurevich, Anatoli Degtiarev, 2001 .
S. Shelah, Y. Gurevich, 1985, Journal of Symbolic Logic.
Y. Gurevich, G. Passmore, 2012, Studia Logica.
M. Veanes, Y. Gurevich, U. Glässer, 2002 .
Yuri Gurevich, Y. Gurevich, 1988 .
Yuri Gurevich, Karl Stroetmann, Giuseppe Del Castillo, 2017 .
Yuri Gurevich, Harry R. Lewis, H. R. Lewis, 1984, Inf. Control..
Nachum Dershowitz, Yuri Gurevich, Y. Gurevich, 2008, Bulletin of Symbolic Logic.
Yuri Gurevich, Y. Gurevich, 2017, Current Trends in Theoretical Computer Science.
Charles Wallace, Margus Veanes, Yuri Gurevich, 2006, Theor. Comput. Sci..
Andreas Blass, Yuri Gurevich, Y. Gurevich, 2003, Bull. EATCS.
Y. Gurevich, Y Gurevich, 1986, SIGA.
Nikolaj Bjørner, Andreas Blass, Yuri Gurevich, 2010, J. Comput. Syst. Sci..
Yuri Gurevich, Y. Gurevich, 2021, Bull. EATCS.
Andreas Blass, Yuri Gurevich, Y. Gurevich, 2018, Bull. EATCS.
Andreas Blass, Yuri Gurevich, Y. Gurevich, 2015, Martin Davis on Computability, Computational Logic, and Mathematical Foundations.
Margus Veanes, Andreas Blass, Yuri Gurevich, 2005, FATES.
Paul E. Schupp, Yuri Gurevich, Y. Gurevich, 2007, SIAM J. Comput..
Charles Wallace, Nandit Soparkar, Yuri Gurevich, 1997, J. Univers. Comput. Sci..
Andreas Blass, Yuri Gurevich, Y. Gurevich, 2008, Pillars of Computer Science.
R. Parikh, Y. Gurevich, M. Detlefsen, 1998, Bulletin of Symbolic Logic.
Andreas Blass, Yuri Gurevich, Y. Gurevich, 2008, TOCL.
Yuri Gurevich, Y. Gurevich, 2016, Int. J. Found. Comput. Sci..
Yuri Gurevich, Y. Gurevich, 2012, Datalog.
Saharon Shelah, Yuri Gurevich, Menachem Magidor, 1983, Journal of Symbolic Logic (JSL).
Andreas Blass, Yuri Gurevich, Y. Gurevich, 2001, TOCL.
Alexander K. Petrenko, Bernd Finkbeiner, Yuri Gurevich, 2009 .
Yuri Gurevich, Y. Gurevich, 2017 .
Andreas Blass, Yuri Gurevich, Y. Gurevich, 1982, Inf. Control..
Yuri Gurevich, Y. Gurevich, 1995, Specification and validation methods.
Yuri Gurevich, Y. Gurevich, 1977 .
Alexander K. Petrenko, Bernd Finkbeiner, Yuri Gurevich, 2007 .
Yuri Gurevich, James K. Huggins, Y. Gurevich, 1992, CSL.
Yuri Gurevich, Erich Grädel, Colin Hirsch, 1998, PODS.
Nachum Dershowitz, Andreas Blass, Yuri Gurevich, 2008, The Bulletin of Symbolic Logic.
Yuri Gurevich, Yuchen Zhou, Shaz Qadeer, 2013, USENIX Security Symposium.
Margus Veanes, Wolfram Schulte, Yuri Gurevich, 2001 .
Nachum Dershowitz, Yuri Gurevich, Y. Gurevich, 2007 .
Yuri Gurevich, Miklós Ajtai, M. Ajtai, 1989, 30th Annual Symposium on Foundations of Computer Science.
Y. Gurevich, A. Blass, 2021, Journal of Physics A: Mathematical and Theoretical.
Andreas Blass, Yuri Gurevich, Y. Gurevich, 2018, Bull. EATCS.
Margus Veanes, Yuri Gurevich, Uwe Glässer, 2002, Proceedings of the 35th Annual Hawaii International Conference on System Sciences.
Andreas Blass, Yuri Gurevich, Y. Gurevich, 2000, Journal of Symbolic Logic.
Andreas Blass, Yuri Gurevich, Y. Gurevich, 1987, Computation Theory and Logic.
Saharon Shelah, Yuri Gurevich, Warren D. Goldfarb, 1984, Journal of Symbolic Logic.
Jan Van den Bussche, Dirk Leinders, Yuri Gurevich, 2007, DBPL.
Jan Van den Bussche, Dirk Leinders, Jerzy Tyszkiewicz, 2007, Theory of Computing Systems.
Margus Veanes, Wolfram Schulte, Yuri Gurevich, 2002, ISSTA '02.
Yuri Gurevich, Y. Gurevich, G. Passmore, 2011, Stud Logica.
Saharon Shelah, Yuri Gurevich, S. Shelah, 1987, SIAM J. Comput..
Yuri Gurevich, Y. Gurevich, 1993, Current Trends in Theoretical Computer Science.
Y. Gurevich, A. Blass, 2022, Inf. Comput..
Andreas Blass, Yuri Gurevich, Y. Gurevich, 2021, Theor. Comput. Sci..
Y. Gurevich, A. Blass, 2021, SSRN Electronic Journal.
Andreas Blass, Yuri Gurevich, Y. Gurevich, 2020, Bull. EATCS.
Andreas Blass, Yuri Gurevich, Y. Gurevich, 2019, Bull. EATCS.
Andreas Blass, Yuri Gurevich, Y. Gurevich, 2018, Bull. EATCS.
Y. Gurevich, A. Blass, 2015, 1503.08084.
Andreas Blass, Yuri Gurevich, Y. Gurevich, 2014, 1403.7815.
Yuri Gurevich, Y. Gurevich, 2001, Bull. EATCS.
Yuri Gurevich, Erich Grädel, E. Grädel, 1994, Inf. Comput..
Andreas Blass, Yuri Gurevich, Y. Gurevich, 1986, Ann. Pure Appl. Log..
Yuri Gurevich, Leo Harrington, Y. Gurevich, 1982, STOC '82.
Saharon Shelah, Andreas Blass, Yuri Gurevich, 2001, Journal of Symbolic Logic.
Yuri Gurevich, Y. Gurevich, 2017, Current Trends in Theoretical Computer Science.
Saharon Shelah, Yuri Gurevich, S. Shelah, 1985, 26th Annual Symposium on Foundations of Computer Science (sfcs 1985).
Yuri Gurevich, Y. Gurevich, 1984 .
Yuri Gurevich, James K. Huggins, Y. Gurevich, 1997, Theor. Comput. Sci..
Yuri Gurevich, Lawrence S. Moss, Y. Gurevich, 1990, CSL.
S. Shelah, N. Immerman, Y. Gurevich, 1994, ArXiv.
Neil Immerman, Saharon Shelah, Yuri Gurevich, 1994, Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science.
Neil Immerman, Saharon Shelah, Yuri Gurevich, 1994, LICS 1994.
Yuri Gurevich, Marc Spielmann, Y. Gurevich, 2017, J. Univers. Comput. Sci..
Andreas Blass, Yuri Gurevich, Y. Gurevich, 2006, TOCL.
Andreas Blass, Yuri Gurevich, Y. Gurevich, 2003, TOCL.
Y. Gurevich, A. Blass, 2002, Bull. EATCS.
Andreas Blass, Yuri Gurevich, Y. Gurevich, 2007, Bull. EATCS.
Y. Gurevich, 2012, SOFSEM.
Nachum Dershowitz, Andreas Blass, Yuri Gurevich, 2010, CSL.
Andreas Blass, Yuri Gurevich, Y. Gurevich, 1983, SIAM J. Comput..
Yuri Gurevich, Y. Gurevich, 1993, Current Trends in Theoretical Computer Science.
Saharon Shelah, Yuri Gurevich, Larry Denenberg, 1986, Inf. Control..
Margus Veanes, Nikolai Tillmann, Colin Campbell, 2003 .
Saharon Shelah, Yuri Gurevich, S. Shelah, 1983, Journal of Symbolic Logic.
Y. Gurevich, 2002 .
Saharon Shelah, Yuri Gurevich, A. M. W. Glass, 1981, Mathematical Proceedings of the Cambridge Philosophical Society.
Yuri Gurevich, Y. Gurevich, 2012, CiE.
Yuri Gurevich, Y. Gurevich, 1998 .
Yuri Gurevich, Y. Gurevich, 1991, J. Comput. Syst. Sci..
Yuri Gurevich, Itay Neeman, Y. Gurevich, 2008, 2008 21st IEEE Computer Security Foundations Symposium.
Yuri Gurevich, Carlos Cotrini Jiménez, Y. Gurevich, 2016, J. Log. Comput..
Yuri Gurevich, Itay Neeman, Y. Gurevich, 2009 .
Peter H. Schmitt, Yuri Gurevich, Y. Gurevich, 1984 .
Andreas Blass, Yuri Gurevich, Dexter Kozen, 1986, Inf. Control..
Andreas Blass, Yuri Gurevich, Y. Gurevich, 2003, Journal of Symbolic Logic.
Y. Gurevich, 1994, IFIP Congress.
Yuri Gurevich, Raghu Mani, Y. Gurevich, 1995, Specification and validation methods.
Margus Veanes, Yuri Gurevich, Uwe Glässer, 2004, IEEE Transactions on Software Engineering.
Wolfram Schulte, Yuri Gurevich, Benjamin Rossman, 2003, Theor. Comput. Sci..
Saharon Shelah, Andreas Blass, Yuri Gurevich, 1997, Ann. Pure Appl. Log..
Yuri Gurevich, Y. Gurevich, 1983, 24th Annual Symposium on Foundations of Computer Science (sfcs 1983).
Yuri Gurevich, Y. Gurevich, 1994, SIGA.
S. Shelah, Y. Gurevich, A. Blass, 1991 .
Y. Gurevich, A. Blass, 2020, Journal of Physics A: Mathematical and Theoretical.
Yuri Gurevich, Y. Gurevich, 1980, Arch. Math. Log..
Saharon Shelah, Yuri Gurevich, S. Shelah, 1982, Ann. Math. Log..
Yuri Gurevich, Y. Gurevich, 2001, Bull. EATCS.
Yuri Gurevich, Itay Neeman, Y. Gurevich, 2008 .
Yuri Gurevich, Harry R. Lewis, H. R. Lewis, 1982, Inf. Control..