作 者:Bruno Courcelle
出 处:Logical Methods in Computer Science. 2006 ;2(2).
出 版 社:Technical University of Braunschweig
文 章 ID:41929636
作 者:Bruno Courcelle
出 处:Logical Methods in Computer Science. 2006 ;2(2).
出 版 社:Technical University of Braunschweig
文 章 ID:41929637
作 者:Bruno Courcelle ;Igor Walukiewicz
出 处:BRICS Report Series. 1995 ;2(44).
出 版 社:Aarhus University
文 章 ID:101760063
作 者:Achim Blumensath ;Bruno Courcelle
出 处:Logical Methods in Computer Science. 2014 ;10(1):1.doi:10.2168/LMCS-10(1:2)2014
出 版 社:Technical University of Braunschweig
文 章 ID:264692209
作 者:Bruno Courcelle
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2010 ;8:13-29.doi:10.4230/LIPIcs.FSTTCS.2010.13
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186845756
作 者:Bruno Courcelle ;Rodney G. Downey ;Michael R. Fellows
出 处:Journal of Universal Computer Science. 1997 ;3(11):1194-1198.
出 版 社:Graz University of Technology and Know-Center
文 章 ID:186874793