作　　者：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

作　　者：Moses Ganardi ;Bakhadyr Khoussainov

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;152:1-16.doi:10.4230/LIPIcs.CSL.2020.21

出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文 章 ID：243494222

作　　者：Ziyuan Gao ;Sanjay Jain ;Bakhadyr Khoussainov 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;138:1-14.doi:10.4230/LIPIcs.MFCS.2019.25

出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文 章 ID：238891975

作　　者：Hajime Ishihara ;Bakhadyr Khoussainov

出　　处：Journal of Universal Computer Science. 1997 ;3(11):1255-1265.

出 版 社：Graz University of Technology and Know-Center

文 章 ID：186874799