作 者: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
作 者:Gabriel Scherer
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;38:317-331.doi:10.4230/LIPIcs.TLCA.2015.317
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186846873
作 者:Gabriel Scherer
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;71:15:1-15:14.doi:10.4230/LIPIcs.SNAPL.2017.15
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:193875260