作 者:Guillaume Bonfante ;Yves Guiraud
出 处:Logical Methods in Computer Science. 2009 ;5(02).doi:10.2168/LMCS-5(2:14)2009
出 版 社:Technical University of Braunschweig
文 章 ID:47208402
作 者:Yves Guiraud ;Philippe Malbos ;Samuel Mimram
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2013 ;21:223-238.doi:10.4230/LIPIcs.RTA.2013.223
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186846314