作 者:Benedikt Ahrens ;Paolo Capriotti ;R{\'e}gis Spadotti
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;38:17-30.doi:10.4230/LIPIcs.TLCA.2015.17
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186846853
作 者:Benedikt Ahrens ;R{\'e}gis Spadotti
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;39:1-26.doi:10.4230/LIPIcs.TYPES.2014.1
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186847077