Andrej Bauer
发表
Andrej Bauer,
Steven Awodey,
S. Awodey,
2004,
J. Log. Comput..
Andrej Bauer,
2015,
Math. Struct. Comput. Sci..
Andrej Bauer,
Robert Harper,
Thierry Coquand,
2013,
ArXiv.
Andrej Bauer,
Tomaz Pisanski,
Boris Horvat,
2007
.
Andrej Bauer,
2002,
Math. Log. Q..
Andrej Bauer,
Christopher A. Stone,
C. Stone,
2007,
J. Log. Comput..
Andrej Bauer,
Ker-I Ko,
Peter Hertling,
2009,
CCA.
Andrej Bauer,
Bas Spitters,
Matthieu Sozeau,
2016,
CPP.
Andrej Bauer,
Edmund M. Clarke,
Xudong Zhao,
1996,
Journal of Automated Reasoning.
Andrej Bauer,
Peter LeFanu Lumsdaine,
Philipp G. Haselwarter,
2020,
ArXiv.
Andrej Bauer,
Edmund M. Clarke,
Xudong Zhao,
1996,
AISMC.
Andrej Bauer,
Thierry Coquand,
Giovanni Sambin,
2012,
Ann. Pure Appl. Log..
Andrej Bauer,
Ker-I Ko,
Peter Hertling,
2009,
CCA.
Andrej Bauer,
Gordon D. Plotkin,
Dana S. Scott,
2014,
Theor. Comput. Sci..
Andrej Bauer,
Assia Mahboubi,
Martín H. Escardó,
2018,
Dagstuhl Reports.
Andrej Bauer,
Andrej Bauer,
2009,
MFPS.
Andrej Bauer,
Martín Hötzel Escardó,
Alex K. Simpson,
2002,
ICALP.
Andrej Bauer,
Matija Pretnar,
2013,
CALCO.
Andrej Bauer,
Andrej Bauer,
2001,
MFPS.
Andrej Bauer,
Willem L. Fouché,
Ulrich Berger,
2017,
J. Log. Anal..
Andrej Bauer,
Tomaz Pisanski,
Boris Horvat,
2007
.
Andrej Bauer,
Melita Hajdinjak,
M. Hajdinjak,
2012,
Int. J. Uncertain. Fuzziness Knowl. Based Syst..
Andrej Bauer,
2000,
Electron. Notes Theor. Comput. Sci..
Andrej Bauer,
Steven Awodey,
2008,
Arch. Math. Log..
Andrej Bauer,
2009,
MFPS.
Andrej Bauer,
Michael W. Mislove,
2008,
MFPS.
Andrej Bauer,
Melita Hajdinjak,
A. Bauer,
2009,
Informatica.
Andrej Bauer,
2005,
CCA.
Andrej Bauer,
Matija Pretnar,
2014,
Log. Methods Comput. Sci..
Andrej Bauer,
Matija Pretnar,
Christopher A. Stone,
2016,
TYPES.
Andrej Bauer,
Danel Ahman,
2020,
ESOP.
Andrej Bauer,
Marko Petkovsek,
M. Petkovšek,
1999,
J. Symb. Comput..
Andrej Bauer,
2013
.
Andrej Bauer,
Lars Birkedal,
L. Birkedal,
2000,
CSL.
Andrej Bauer,
A. Bauer,
Andrej Bauer,
2006,
MFPS.
Andrej Bauer,
Matija Pretnar,
A. Bauer,
2012,
J. Log. Algebraic Methods Program..
Andrej Bauer,
Jens Blanck,
2009,
J. Univers. Comput. Sci..
Andrej Bauer,
Alex K. Simpson,
A. Simpson,
2004,
Math. Log. Q..
Andrej Bauer,
Ker-I Ko,
Peter Hertling,
2009,
CCA.
Andrej Bauer,
Philipp G. Haselwarter,
Anja Petković,
2020,
ICMS.
Martin Hofmann,
Andrej Bauer,
Jeremy Yallop,
2016,
Dagstuhl Reports.
Andrej Bauer,
2018,
ArXiv.
Andrej Bauer,
William Ryan,
Kanak B. Agarwal,
2004,
MPC 2012.
Andrej Bauer,
Christopher A. Stone,
2007,
CiE.
Andrej Bauer,
Melita Hajdinjak,
A. Bauer,
2012
.
Andrej Bauer,
Christopher A. Stone,
Andrej Bauer,
2006,
CLASE.
Andrej Bauer,
Iztok Kavkler,
Iztok Kavkler,
2009,
Ann. Pure Appl. Log..
Andrej Bauer,
Paul Taylor,
P. Taylor,
2009,
Mathematical Structures in Computer Science.
Andrej Bauer,
Lars Birkedal,
Dana S. Scott,
2004,
Theor. Comput. Sci..
Andrej Bauer,
2017,
SIGL.
Andrej Bauer,
Iztok Kavkler,
Iztok Kavkler,
2008,
CCA.
Andrej Bauer,
Davorin Lesnik,
Davorin Lesnik,
2012,
Ann. Pure Appl. Log..
Andrej Bauer,
Alex Simpson,
2003
.
Andrej Bauer,
2021
.
Andrej Bauer,
Anja Petkovi'c,
2022,
Logical Methods in Computer Science.
Andrej Bauer,
Philipp G. Haselwarter,
2021,
ArXiv.
Andrej Bauer,
Dana S. Scott,
D. Scott,
2000
.
Andrej Bauer,
Karin Cvetko-Vah,
Karin Cvetko-Vah,
2011,
1106.0425.
Andrej Bauer,
A. Bauer,
2008
.
Andrej Bauer,
2008
.
Andrej Bauer,
Karin Cvetko-Vah,
Mai Gehrke,
2012,
1206.5848.
Andrej Bauer,
A. Bauer,
Andrej Bauer,
2016
.
Andrej Bauer,
A. Bauer,
1998
.