Andreas Blass
发表
Andreas Blass,
1972,
Discret. Math..
Andreas Blass,
Yuri Gurevich,
2011,
TOCL.
Andreas Blass,
Yuri Gurevich,
1997,
J. Univers. Comput. Sci..
Andreas Blass,
A. Blass,
2000,
Abstract State Machines.
Andreas Blass,
Yuri Gurevich,
2013,
Inf. Comput..
Nachum Dershowitz,
Andreas Blass,
Yuri Gurevich,
2008,
The Bulletin of Symbolic Logic.
Wolfgang Reisig,
Nachum Dershowitz,
Andreas Blass,
2010,
Fields of Logic and Computation.
Andreas Blass,
Yuri Gurevich,
Y. Gurevich,
1986,
Ann. Pure Appl. Log..
Andreas Blass,
Claude Laflamme,
C. Laflamme,
1989,
Journal of Symbolic Logic.
Jan Van den Bussche,
Andreas Blass,
Yuri Gurevich,
2002,
Inf. Comput..
Yi Zhang,
Andreas Blass,
Su Gao,
2009,
Ann. Pure Appl. Log..
Frank Harary,
Andreas Blass,
Geoffrey Exoo,
1981,
J. Graph Theory.
Andreas Blass,
A. Blass,
1988,
Ann. Pure Appl. Log..
Andreas Blass,
1972,
J. Symb. Log..
Frank Harary,
Zevi Miller,
Andreas Blass,
1980,
J. Comb. Theory, Ser. B.
Andreas Blass,
Yuri Gurevich,
2006,
TOCL.
Andreas Blass,
Yuri Gurevich,
Michal Moskal,
2010,
The Future of Software Engineering.
Andreas Blass,
Yuri Gurevich,
2007,
TOCL.
Paul Erdös,
Andreas Blass,
Alan D. Taylor,
1992,
J. Comb. Theory, Ser. A.
Andreas Blass,
Yuri Gurevich,
Y. Gurevich,
2008,
Pillars of Computer Science.
Andreas Blass,
Yuri Gurevich,
2002,
Bull. EATCS.
Andreas Blass,
A. Blass,
1990,
Journal of Symbolic Logic.
Andreas Blass,
1981,
J. Symb. Log..
Andreas Blass,
Yuri Gurevich,
1995,
SIAM J. Comput..
Andreas Blass,
Yuri Gurevich,
Y. Gurevich,
2003,
Bull. EATCS.
Andreas Blass,
Yuri Gurevich,
Y. Gurevich,
2018,
Bull. EATCS.
Saharon Shelah,
Andreas Blass,
Yuri Gurevich,
2001,
Journal of Symbolic Logic.
Andreas Blass,
1988,
Bull. EATCS.
Andreas Blass,
Peter G. Hinman,
Louise Hay,
1986,
J. Symb. Log..
Andreas Blass,
Yuri Gurevich,
1983,
Logic and Machines.
Andreas Blass,
Yuri Gurevich,
Y. Gurevich,
2008,
TOCL.
Andreas Blass,
A. Blass,
1990,
Arch. Math. Log..
Saharon Shelah,
Andreas Blass,
1987,
Ann. Pure Appl. Log..
Andreas Blass,
Yuri Gurevich,
Y. Gurevich,
1982,
Inf. Control..
Andreas Blass,
Yuri Gurevich,
Dean Rosenzweig,
2007,
Log. Methods Comput. Sci..
Andreas Blass,
A. Blass,
2016,
Ann. Pure Appl. Log..
Jan Van den Bussche,
Andreas Blass,
Yuri Gurevich,
2000,
Abstract State Machines.
Andreas Blass,
Andre Scedrov,
1992,
Ann. Pure Appl. Log..
Andreas Blass,
Yuri Gurevich,
Y. Gurevich,
2015,
Martin Davis on Computability, Computational Logic, and Mathematical Foundations.
Andreas Blass,
2016,
Dependence Logic.
Andreas Blass,
Yuri Gurevich,
2020,
Theor. Comput. Sci..
Andreas Blass,
Yuri Gurevich,
Y. Gurevich,
2007,
Bull. EATCS.
Andreas Blass,
Yuri Gurevich,
Y. Gurevich,
2003,
Journal of Symbolic Logic.
Andreas Blass,
Yuri Gurevich,
Dexter Kozen,
1986,
Inf. Control..
Andreas Blass,
Yuri Gurevich,
Y. Gurevich,
2006,
TOCL.
Andreas Blass,
Yuri Gurevich,
Y. Gurevich,
2017,
QPL.
Andreas Blass,
Yuri Gurevich,
2007,
TOCL.
Andreas Blass,
Yuri Gurevich,
1989,
Inf. Process. Lett..
Andreas Blass,
A. Blass,
1945,
Mathematical Proceedings of the Cambridge Philosophical Society.
Andreas Blass,
1972,
J. Symb. Log..
Andreas Blass,
Yuri Gurevich,
2008,
ArXiv.
Margus Veanes,
Andreas Blass,
Yuri Gurevich,
2005,
FATES.
Andreas Blass,
Yuri Gurevich,
2017
.
Andreas Blass,
Yuri Gurevich,
2010,
Bull. EATCS.
Nikolaj Bjørner,
Andreas Blass,
Yuri Gurevich,
2010,
J. Comput. Syst. Sci..
Andreas Blass,
1984,
J. Symb. Log..
Andreas Blass,
1993,
CSL.
Andreas Blass,
Yuri Gurevich,
2008,
MFCS.
Andreas Blass,
2009,
AMS-ASL Joint Special Session.
Andreas Blass,
A. Blass,
2001,
Ann. Pure Appl. Log..
Andreas Blass,
Yuri Gurevich,
Efim Hudis,
2010,
Bull. EATCS.
Andreas Blass,
Yuri Gurevich,
2007,
Bull. EATCS.
Andreas Blass,
A. Blass,
1992,
Ann. Pure Appl. Log..
Andreas Blass,
A. Blass,
1981,
Journal of Symbolic Logic.
Andreas Blass,
Yuri Gurevich,
2008,
Bull. EATCS.
Andreas Blass,
Yuri Gurevich,
2017,
Bull. EATCS.
Andreas Blass,
Yuri Gurevich,
Y. Gurevich,
2018,
Bull. EATCS.
Andreas Blass,
Yuri Gurevich,
Y. Gurevich,
2018,
Mathematical Structures in Computer Science.
Victor Pambuccian,
Andreas Blass,
2003,
Math. Log. Q..
Andreas Blass,
Yuri Gurevich,
Y. Gurevich,
2001,
TOCL.
Andreas Blass,
Bruce E. Sagan,
B. Sagan,
1986,
J. Graph Theory.
Andreas Blass,
A. Blass,
2010,
Fields of Logic and Computation.
Andreas Blass,
Yuri Gurevich,
2000,
Bull. EATCS.
Nikolaj Bjørner,
Andreas Blass,
Yuri Gurevich,
2008,
ArXiv.
Andreas Blass,
A. Blass,
1986,
Notre Dame J. Formal Log..
Andreas Blass,
1995,
J. Symb. Log..
Andreas Blass,
Yuri Gurevich,
2000,
Bull. EATCS.
David Blair,
Andreas Blass,
Paul Howard,
2005,
J. Math. Log..
Andreas Blass,
Gábor Braun,
2005,
Electron. J. Comb..
Andreas Blass,
A. Blass,
1972,
Journal of Symbolic Logic.
Andreas Blass,
Yuri Gurevich,
Y. Gurevich,
2000,
Journal of Symbolic Logic.
Andreas Blass,
Yuri Gurevich,
2002,
Bull. EATCS.
Bernd Finkbeiner,
Nachum Dershowitz,
Andreas Blass,
2015,
Lecture Notes in Computer Science.
Andreas Blass,
Yuri Gurevich,
2000,
CSL.
Vladik Kreinovich,
Andreas Blass,
Yuri Gurevich,
1998,
Inf. Process. Lett..
Andreas Blass,
Yuri Gurevich,
Y. Gurevich,
2003,
TOCL.
Andreas Blass,
Yuri Gurevich,
Dean Rosenzweig,
2007,
Log. Methods Comput. Sci..
Andreas Blass,
Heike Mildenberger,
1999,
J. Symb. Log..
Andreas Blass,
Yuri Gurevich,
Dean Rosenzweig,
2005
.
Andreas Blass,
1993,
Current Trends in Theoretical Computer Science.
Andreas Blass,
A. Blass,
1978,
J. Graph Theory.
Andreas Blass,
2006,
21st Annual IEEE Symposium on Logic in Computer Science (LICS'06).
Andreas Blass,
Natasha Dobrinen,
Dilip Raghavan,
2015,
J. Symb. Log..
Andreas Blass,
A. Blass,
2020,
Fields of Logic and Computation III.
Andreas Blass,
Yuri Gurevich,
2000,
CSL.
Andreas Blass,
Yuri Gurevich,
1991,
FSTTCS.
Andreas Blass,
Yuri Gurevich,
1990,
CSL.
Andreas Blass,
Yuri Gurevich,
Y. Gurevich,
2020,
Bull. EATCS.
Andreas Blass,
1977,
J. Symb. Log..
Andreas Blass,
A. Blass,
1997,
Log. J. IGPL.
Nachum Dershowitz,
Andreas Blass,
Yuri Gurevich,
2010,
CSL.
Bernd Finkbeiner,
Nachum Dershowitz,
Andreas Blass,
2011
.
Andreas Blass,
1977,
J. Symb. Log..
Frank Harary,
Andreas Blass,
F. Harary,
1979,
J. Graph Theory.
Andreas Blass,
Andre Scedrov,
1986,
J. Symb. Log..
Andreas Blass,
1980,
Arch. Math. Log..
Andreas Blass,
2015,
Fields of Logic and Computation II.
Andreas Blass,
1985,
J. Symb. Log..
Andreas Blass,
Yuri Gurevich,
Y. Gurevich,
1994,
IFIP Congress.
Andreas Blass,
Benjamin Rossman,
2005,
Bull. EATCS.
Andreas Blass,
Yuri Gurevich,
1993,
SIAM J. Comput..
Andreas Blass,
Yuri Gurevich,
Y. Gurevich,
1987,
Computation Theory and Logic.
Andreas Blass,
1974,
J. Symb. Log..
Saharon Shelah,
Andreas Blass,
S. Shelah,
1989,
Notre Dame J. Formal Log..
Saharon Shelah,
Andreas Blass,
Yuri Gurevich,
2001,
Ann. Pure Appl. Log..
Saharon Shelah,
Andreas Blass,
Yuri Gurevich,
1997,
Ann. Pure Appl. Log..
Andreas Blass,
A. Blass,
2003,
Electron. J. Comb..
Andreas Blass,
Yuri Gurevich,
2004,
Bull. EATCS.
Wolfgang Reisig,
Nachum Dershowitz,
Andreas Blass,
2010
.
Andreas Blass,
Yuri Gurevich,
Y. Gurevich,
1983,
SIAM J. Comput..
Douglas A. Cenzer,
Andreas Blass,
1974,
J. Symb. Log..
Wolfgang Reisig,
Nachum Dershowitz,
Andreas Blass,
2020,
Fields of Logic and Computation III.
Andreas Blass,
1994,
Discret. Math..
Andreas Blass,
Boris Mitavskiy,
2005,
FOGA.
Andreas Blass,
Yuri Gurevich,
Y. Gurevich,
2019,
Bull. EATCS.
Andreas Blass,
Yuri Gurevich,
Y. Gurevich,
2018,
Bull. EATCS.
Egon Börger,
Andreas Blass,
Yuri Gurevich,
2021
.
Andreas Blass,
Yuri Gurevich,
2021,
ArXiv.
Andreas Blass,
Yuri Gurevich,
Y. Gurevich,
2021,
Theor. Comput. Sci..
Andreas Blass,
Yuri Gurevich,
Alexander Volberg,
2022,
ArXiv.
Andreas Blass,
1977
.
Andreas Blass,
Jonathan Verner,
Michael Hrušák,
2013
.
Andreas Blass,
Bruce E. Sagan,
1998
.
Andreas Blass,
1994
.
Andreas Blass,
1994
.
Andreas Blass,
A. Blass,
1979
.
Andreas Blass,
Vitaly Bergelson,
Mauro Di Nasso,
2010
.
Stephen G. Simpson,
Andreas Blass,
Je Ry L. Hirst,
1987
.
Andreas Blass,
Yuri Gurevich,
Y. Gurevich,
2014,
1403.7815.
Andreas Blass,
Bruce E. Sagan,
1997
.
Andreas Blass,
A. Blass,
1976
.
Andreas Blass,
1973
.
John T. Baldwin,
Andreas Blass,
1974
.
Andreas Blass,
Yuri Gurevich,
Guido de Caso,
2012
.
Andreas Blass,
A. Blass,
2010
.
Andreas Blass,
2005
.
Saharon Shelah,
Andreas Blass,
1989
.
Andreas Blass,
Andrej Ščedrov,
1989
.
Andreas Blass,
Andrej Ščedrov,
1983
.
Andreas Blass,
A. Blass,
1998
.
Andreas Blass,
Yuri Gurevich,
2017
.
Andreas Blass,
A. Blass,
1972
.
Andreas Blass,
1992
.
Andreas Blass,
A. Blass,
1984
.
Andreas Blass,
A. Blass,
1993,
math/9309208.
Andreas Blass,
A. Blass,
1981
.
Andreas Blass,
1993
.
Andreas Blass,
1973
.
Andreas Blass,
Grzegorz Plebanek,
Ryszard Frankiewicz,
2001
.
Andreas Blass,
Gary Weiss,
A. Blass,
1978
.
Andreas Blass,
1983
.
Andreas Blass,
1975
.