作 者:Benedetto Intrigila ;Giulio Manzonetto ;Andrew Polonsky
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;84:20:1-20:18.doi:10.4230/LIPIcs.FSCD.2017.20
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:200735129
作 者:Jörg Endrullis ;Dimitri Hendriks ;Jan Willem Klop 等
出 处:Logical Methods in Computer Science. 2014 ;10(2):1.doi:10.2168/LMCS-10(2:4)2014
出 版 社:Technical University of Braunschweig
文 章 ID:264691912
作 者:Andrew Polonsky
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2011 ;12:458-469.doi:10.4230/LIPIcs.CSL.2011.458
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186846001
作 者:J{\"o}rg Endrullis ;Andrew Polonsky
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2013 ;19:16-27.doi:10.4230/LIPIcs.TYPES.2011.16
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186846234
作 者:J{\"o}rg Endrullis ;Helle Hvid Hansen ;Dimitri Hendriks 等
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;36:143-159.doi:10.4230/LIPIcs.RTA.2015.143
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186846886
作 者:Andrew Polonsky
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;39:221-250.doi:10.4230/LIPIcs.TYPES.2014.221
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186847087
作 者:Flavien Breuvart ;Giulio Manzonetto ;Andrew Polonsky 等
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;52:15:1-15:18.doi:10.4230/LIPIcs.FSCD.2016.15
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186847447
作 者:Andrew Polonsky ;Richard Statman.
出 处:Logical Methods in Computer Science. 2022 ;18(3):1-23.doi:10.46298/lmcs-18(3:35)2022
出 版 社:Technical University of Braunschweig
文 章 ID:1039482114