作 者:Elmar Böhler ;Christian Glaßer ;Daniel Meister
出 处:Electronic Colloquium on Computational Complexity. 2003 ;2003.
出 版 社:Universität Trier, Lehrstuhl für Theoretische Computer-Forschung
文 章 ID:47146884
作 者:Elmar Böhler ;Nadia Creignou ;Matthias Galota 等
出 处:Logical Methods in Computer Science. 2012 ;8(3):1.doi:10.2168/LMCS-8(3:31)2012
出 版 社:Technical University of Braunschweig
文 章 ID:264691966