作　　者：Sam Staton

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;107:3:1-3:1.doi:10.4230/LIPIcs.ICALP.2018.3

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

文 章 ID：220014794

作　　者：Sam Staton ;Dario Stein ;Hongseok Yang 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;107:141:1-141:15.doi:10.4230/LIPIcs.ICALP.2018.141

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

文 章 ID：220014932

作　　者：Rasmus Møgelberg ;Sam Staton

出　　处：Logical Methods in Computer Science. 2014 ;10(1):1.doi:10.2168/LMCS-10(1:17)2014

出 版 社：Technical University of Braunschweig

文 章 ID：264692215

作　　者：Robert Atkey ;Neil Ghani ;Fredrik Nordvall Forsberg 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;38:45-59.doi:10.4230/LIPIcs.TLCA.2015.45

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

文 章 ID：186846855

作　　者：Mathieu Huot ;Sam Staton

出　　处：Electronic Proceedings in Theoretical Computer Science. 2019 ;287:213-223.doi:10.4204/EPTCS.287.12

出 版 社：Open Publishing Association

文 章 ID：1034315647

作　　者：Mathieu Huot ;Sam Staton ;Matthijs Vákár

出　　处：Logical Methods in Computer Science. 2022 ;18(1):1-34.doi:10.46298/lmcs-18(1:41)2022

出 版 社：Technical University of Braunschweig

文 章 ID：1038046945