作 者:Eric Goles ;Pierre-Etienne Meunier ;Ivan Rapaport 等
出 处:Electronic Proceedings in Theoretical Computer Science. 2008 ;1:81-92.doi:10.4204/EPTCS.1.8
出 版 社:Open Publishing Association
文 章 ID:83119673
作 者:Pablo Arrighi ;Nicolas Schabanel ;Guillaume Theyssier
出 处:Electronic Proceedings in Theoretical Computer Science. 2012 ;90:208-224.doi:10.4204/EPTCS.90.17
出 版 社:Open Publishing Association
文 章 ID:83120543
作 者:René David ;Katarzyna Grygiel ;Jakub Kozik 等
出 处:Logical Methods in Computer Science. 2013 ;9(1):1.doi:10.2168/LMCS-9(1:2)2013
出 版 社:Technical University of Braunschweig
文 章 ID:264691903
作 者:Laurent Boyer ;Guillaume Theyssier
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2009 ;3:195-206.doi:10.4230/LIPIcs.STACS.2009.1836
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186845541