作　　者：Primoz Luksic ;Boris Horvat ;Andrej Bauer 等

出　　处：Interdisciplinary Journal of e-Skills and Lifelong Learning. 2007 ;3:073-083.doi:10.28945/387

出 版 社：Informing Science Institute

文 章 ID：102579991

作　　者：Andrej Bauer ;Matija Pretnar

出　　处：Logical Methods in Computer Science. 2014 ;10(4):1.doi:10.2168/LMCS-10(4:9)2014

出 版 社：Technical University of Braunschweig

文 章 ID：264692155

作　　者：Andrej Bauer ;Peter Hertling ;Ker-I Ko

出　　处：OASIcs : OpenAccess Series in Informatics. 2009 ;11.doi:10.4230/OASIcs.CCA.2009.2248

出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文 章 ID：186848296

作　　者：Andrej Bauer ;Peter Hertling ;Ker-I Ko

出　　处：OASIcs : OpenAccess Series in Informatics. 2009 ;11.doi:10.4230/OASIcs.CCA.2009.2249

出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文 章 ID：186848297

作　　者：Andrej Bauer ;Jens Blanck

出　　处：OASIcs : OpenAccess Series in Informatics. 2009 ;11.doi:10.4230/OASIcs.CCA.2009.2257

出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文 章 ID：186848305

作　　者：Andrej Bauer ;Jens Blanck

出　　处：Journal of Universal Computer Science. 2010 ;16(18):2496-2522.

出 版 社：Graz University of Technology and Know-Center

文 章 ID：186874677

作　　者：Andrej Bauer ;Ga{\"e}tan Gilbert ;Philipp G. Haselwarter 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;97:1-31.doi:10.4230/LIPIcs.TYPES.2016.5

出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文 章 ID：230213689

作　　者：Andrej Bauer ;Anja Petković Komel

出　　处：Logical Methods in Computer Science. 2022 ;18(1):1-42.doi:10.46298/lmcs-18(1:17)2022

出 版 社：Technical University of Braunschweig

文 章 ID：1038046943