作　　者：Matthew Hague ;Luke Ong

出　　处：Logical Methods in Computer Science. 2008 ;4(04).doi:10.2168/LMCS-4(4:14)2008

出 版 社：Technical University of Braunschweig

文 章 ID：47109827

作　　者：Matthew Hague ;Roland Meyer ;Sebastian Muskalla

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;83:59:1-59:15.doi:10.4230/LIPIcs.MFCS.2017.59

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

文 章 ID：205510107

作　　者：Matthew Hague ;Anthony Widjaja To

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2010 ;8:228-239.doi:10.4230/LIPIcs.FSTTCS.2010.228

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

文 章 ID：186845773

作　　者：Matthew Hague

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2011 ;13:457-468.doi:10.4230/LIPIcs.FSTTCS.2011.457

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

文 章 ID：186845900

作　　者：Matthew Hague

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2013 ;24:313-325.doi:10.4230/LIPIcs.FSTTCS.2013.313

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

文 章 ID：186846417

作　　者：Arnaud Carayol ;Matthew Hague

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;117:1-14.doi:10.4230/LIPIcs.MFCS.2018.42

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

文 章 ID：230213397

作　　者：Matthew Hague ;Roland Meyer ;Sebastian Muskalla 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;117:1-15.doi:10.4230/LIPIcs.MFCS.2018.57

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

文 章 ID：230213412