作 者:Andreas Abel ;Brigitte Pientka
出 处:Electronic Proceedings in Theoretical Computer Science. 2010 ;34:5-20.doi:10.4204/EPTCS.34.3
出 版 社:Open Publishing Association
文 章 ID:83120003
作 者:Andreas Abel
出 处:Electronic Proceedings in Theoretical Computer Science. 2010 ;43:14-28.doi:10.4204/EPTCS.43.2
出 版 社:Open Publishing Association
文 章 ID:83120086
作 者:Andreas Abel ;Nicolai Kraus
出 处:Electronic Proceedings in Theoretical Computer Science. 2011 ;71:1-13.doi:10.4204/EPTCS.71.1
出 版 社:Open Publishing Association
文 章 ID:83120340
作 者:Andreas Abel
出 处:Electronic Proceedings in Theoretical Computer Science. 2012 ;77:1-11.doi:10.4204/EPTCS.77.1
出 版 社:Open Publishing Association
文 章 ID:83120462
作 者:Andreas Abel
出 处:Logical Methods in Computer Science. 2008 ;4(02).doi:10.2168/LMCS-4(2:3)2008
出 版 社:Technical University of Braunschweig
文 章 ID:46838697
作 者:Andreas Abel ;Gabriel Scherer
出 处:Logical Methods in Computer Science. 2012 ;8(1):1.doi:10.2168/LMCS-8(1:29)2012
出 版 社:Technical University of Braunschweig
文 章 ID:264691931
作 者:Brigitte Pientka ;Andreas Abel
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;38:273-287.doi:10.4230/LIPIcs.TLCA.2015.273
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186846870
作 者:Andreas Abel ;Fredrik Nordvall Forsberg ;Ambrus Kaposi
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;104:i-x.doi:10.4230/LIPIcs.TYPES.2017.0
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:230438728