作 者:Bakhadyr Khoussainov ;Andre Nies ;Sasha Rubin 等
出 处:Logical Methods in Computer Science. 2007 ;3(02).doi:10.2168/LMCS-3(2:2)2007
出 版 社:Technical University of Braunschweig
文 章 ID:46838661
作 者:Laurent Bienvenu ;Wolfgang Merkle ;Andre Nies
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2011 ;9:452-463.doi:10.4230/LIPIcs.STACS.2011.452
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186845835