作　　者：Vasco Brattka ;Arno Pauly

出　　处：Electronic Proceedings in Theoretical Computer Science. 2010 ;24:41-55.doi:10.4204/EPTCS.24.9

出 版 社：Open Publishing Association

文 章 ID：83119884

作　　者：Vasco Brattka ;Rupert H{\"o}lzl ;Rutger Kuyper

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;66:17:1-17:14.doi:10.4230/LIPIcs.STACS.2017.17

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

文 章 ID：191698346

作　　者：Vasco Brattka ;Guido Gherardi ;Rupert H{\"o}lzl

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;30:130-142.doi:10.4230/LIPIcs.STACS.2015.130

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

文 章 ID：186846657

作　　者：Vasco Brattka ;Guido Gherardi

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

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

文 章 ID：186848309

作　　者：Vasco Brattka ;Guido Gherardi

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

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

文 章 ID：186848310

作　　者：Vasco Brattka

出　　处：Journal of Universal Computer Science. 2002 ;8(3):382-395.

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

文 章 ID：186874939

作　　者：Vasco Brattka ;Ruth Dillhage

出　　处：Journal of Universal Computer Science. 2005 ;11(12):1884-1900.

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

文 章 ID：186875770

作　　者：Vasco Brattka

出　　处：Logical Methods in Computer Science. 2021 ;17(4):1-29.doi:10.46298/lmcs-17(4:20)2021

出 版 社：Technical University of Braunschweig

文 章 ID：1038046923