作　　者：James Laird

出　　处：Logical Methods in Computer Science. 2007 ;3(02).doi:10.2168/LMCS-3(2:5)2007

出 版 社：Technical University of Braunschweig

文 章 ID：46838662

作　　者：Xi Chen ;Wujuan Zhang ;James Laird 等

出　　处：JLR Papers In Press. 2008 ;49(4):832-846.doi:10.1194/jlr.M700598-JLR200

出 版 社：American Society for Biochemistry and Molecular Biology

文 章 ID：192691408

作　　者：Casey D. Charvet ;James Laird ;Yunfeng Xu 等

出　　处：JLR Papers In Press. 2013 ;54(5):1421-1429.doi:10.1194/jlr.M035790

出 版 社：American Society for Biochemistry and Molecular Biology

文 章 ID：192693093

作　　者：William John Gowers ;James Laird

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;72:13:1-13:17.doi:10.4230/LIPIcs.CALCO.2017.13

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

文 章 ID：205510185

作　　者：James Laird

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;62:27:1-27:16.doi:10.4230/LIPIcs.CSL.2016.27

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

文 章 ID：186847944

作　　者：James Laird

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;52:24:1-24:15.doi:10.4230/LIPIcs.FSCD.2016.24

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

文 章 ID：186847456

作　　者：James Laird

出　　处：Logical Methods in Computer Science. 2021 ;17(4):1-37.doi:10.46298/lmcs-17(4:11)2021

出 版 社：Technical University of Braunschweig

文 章 ID：1038046911