作 者:Filip Murlak
出 处:Logical Methods in Computer Science. 2008 ;4(04).doi:10.2168/LMCS-4(4:15)2008
出 版 社:Technical University of Braunschweig
文 章 ID:47109828
作 者:Filip Murlak
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2008 ;1:573-584.doi:10.4230/LIPIcs.STACS.2008.1318
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186845480
作 者:J{\'e}r{\'e}mie Cabessa ;Jacques Duparc ;Alessandro Facchini 等
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2009 ;4:121-132.doi:10.4230/LIPIcs.FSTTCS.2009.2312
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186845595
作 者:Jacques Duparc ;Alessandro Facchini ;Filip Murlak
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2011 ;13:363-374.doi:10.4230/LIPIcs.FSTTCS.2011.363
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186845892
作 者:Claire David ;Nadime Francis ;Filip Murlak
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2014 ;29:279-290.doi:10.4230/LIPIcs.FSTTCS.2014.279
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186846612
作 者:Wojciech Czerwinski ;Claire David ;Filip Murlak 等
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;48:20:1-20:18.doi:10.4230/LIPIcs.ICDT.2016.20
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186847292