作　　者：Peter G Hancock ;Neil Ghani ;Dirk Pattinson

出　　处：Logical Methods in Computer Science. 2009 ;5(03).doi:10.2168/LMCS-5(3:9)2009

出 版 社：Technical University of Braunschweig

文 章 ID：47333308

作　　者：Neil Ghani ;Conor McBride ;Fredrik Nordvall Forsberg 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;83:63:1-63:13.doi:10.4230/LIPIcs.MFCS.2017.63

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

文 章 ID：205510114

作　　者：Robert Atkey ;Patricia Johann ;Neil Ghani

出　　处：Logical Methods in Computer Science. 2012 ;8(2):1.doi:10.2168/LMCS-8(2:9)2012

出 版 社：Technical University of Braunschweig

文 章 ID：264692001

作　　者：Neil Ghani ;Patricia Johann ;Clement Fumex

出　　处：Logical Methods in Computer Science. 2012 ;8(2):1.doi:10.2168/LMCS-8(2:12)2012

出 版 社：Technical University of Braunschweig

文 章 ID：264692002

作　　者：Neil Ghani ;Patricia Johann ;Clement Fumex

出　　处：Logical Methods in Computer Science. 2013 ;9(3):1.doi:10.2168/LMCS-9(3:6)2013

出 版 社：Technical University of Braunschweig

文 章 ID：264692011

作　　者：Neil Ghani ;Fredrik Nordvall Forsberg ;Lorenzo Malatesta

出　　处：Logical Methods in Computer Science. 2015 ;11(1):1.doi:10.2168/LMCS-11(1:13)2015

出 版 社：Technical University of Braunschweig

文 章 ID：264692262

作　　者：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