作 者:Benoit Larose ;Cynthia Loten ;Claude Tardif
出 处:Logical Methods in Computer Science. 2007 ;3(04).doi:10.2168/LMCS-3(4:6)2007
出 版 社:Technical University of Braunschweig
文 章 ID:46838670
作 者:Benoit Larose ;Barnaby Martin ;Daniel Paulusma
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;96:49:1-49:14.doi:10.4230/LIPIcs.STACS.2018.49
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:220015284
作 者:L{\'a}szl{\'o} Egri ;Andrei Krokhin ;Benoit Larose 等
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2010 ;5:335-346.doi:10.4230/LIPIcs.STACS.2010.2467
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186845654