作　　者：Alwen Tiu

出　　处：Logical Methods in Computer Science. 2006 ;2(2).

出 版 社：Technical University of Braunschweig

文 章 ID：41929639

作　　者：David Baelde ;Kaustuv Chaudhuri ;Andrew Gacek 等

出　　处：Journal of Formalized Reasoning. 2014 ;7(2):1-89.doi:10.6092/issn.1972-5787/4650

出 版 社：Alma Mater Studiorum - University of Bologna

文 章 ID：100489225

作　　者：Tim Lyon ;Alwen Tiu ;Rajeev Gor 等

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

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

文 章 ID：243494229

作　　者：Ki Yung Ahn ;Ross Horne ;Alwen Tiu

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;85:7:1-7:17.doi:10.4230/LIPIcs.CONCUR.2017.7

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

文 章 ID：200735173

作　　者：Ranald Clouston ;Jeremy Dawson ;Rajeev Gor{\'e 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2013 ;23:197-214.doi:10.4230/LIPIcs.CSL.2013.197

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

文 章 ID：186846339

作　　者：Ross Horne ;Alwen Tiu ;Bogdan Aman 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;59:31:1-31:16.doi:10.4230/LIPIcs.CONCUR.2016.31

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

文 章 ID：186847589