作　　者：Ricardo Rocha ;Tran Cao Son ;Christopher Mears 等

出　　处：OASIcs : OpenAccess Series in Informatics. 2018 ;58:0:i-0:xii.doi:10.4230/OASIcs.ICLP.2017.0

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

文 章 ID：220015517

作　　者：Brandon Chisham ;Enrico Pontelli ;Tran Cao Son 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2011 ;11:209-219.doi:10.4230/LIPIcs.ICLP.2011.209

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

文 章 ID：186845954

作　　者：Tiep Le ;Hieu Nguyen ;Enrico Pontelli 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2012 ;17:359-369.doi:10.4230/LIPIcs.ICLP.2012.359

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

文 章 ID：186846128

作　　者：Tran Cao Son ;Enrico Pontelli ;Michael Gelfond 等

出　　处：OASIcs : OpenAccess Series in Informatics. 2016 ;52:1-4.doi:10.4230/OASIcs.ICLP.2016.8

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

文 章 ID：186848964

作　　者：Van Duc Nguyen ;Tran Cao Son ;Enrico Pontelli

出　　处：Electronic Proceedings in Theoretical Computer Science. 2019 ;306:280-294.doi:10.4204/EPTCS.306.33

出 版 社：Open Publishing Association

文 章 ID：1034807877