作 者:Uwe Nestmann ;Hans Hüttel ;Josva Kleist 等
出 处:BRICS Report Series. 1999 ;6(44).
出 版 社:Aarhus University
文 章 ID:101759812
作 者:Hans Hüttel ;Josva Kleist ;Uwe Nestmann 等
出 处:BRICS Report Series. 1998 ;5(33).
出 版 社:Aarhus University
文 章 ID:101759983
作 者:Ruggero Lanotte ;Massimo Merro ;Simone Tini
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;83:72:1-72:16.doi:10.4230/LIPIcs.MFCS.2017.72
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:205510132
作 者:Andrea Cerone ;Matthew Hennessy ;Massimo Merro
出 处:Logical Methods in Computer Science. 2015 ;11(1):1.doi:10.2168/LMCS-11(1:18)2015
出 版 社:Technical University of Braunschweig
文 章 ID:264692256