作 者:Olivier Danvy ;Belmina Dzafic ;Frank Pfenning
出 处:BRICS Report Series. 1999 ;6(23).
出 版 社:Aarhus University
文 章 ID:101759817
作 者:Lu{\'\i}s Caires ;Jorge A. Prez ;Frank Pfenning 等
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;140:1-17.doi:10.4230/LIPIcs.CONCUR.2019.39
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:238891947
作 者:Ankush Das ;Frank Pfenning
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;171:13:1-13:18.doi:10.4230/LIPIcs.CONCUR.2020.13
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:255822872
作 者:Henry DeYoung ;Frank Pfenning ;Klaas Pruiksma
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;167:29:1-29:22.doi:10.4230/LIPIcs.FSCD.2020.29
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:255823206
作 者:Ankush Das ;Frank Pfenning
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;167:33:1-33:17.doi:10.4230/LIPIcs.FSCD.2020.33
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:255823210
作 者:Henry DeYoung ;Lu{\'i}s Caires ;Frank Pfenning 等
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2012 ;16:228-242.doi:10.4230/LIPIcs.CSL.2012.228
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186846162
作 者:Stephanie Balzer ;Frank Pfenning ;Bernardo Toninho
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;118:1-18.doi:10.4230/LIPIcs.CONCUR.2018.30
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:230213342
作 者:Klaas Pruiksma ;Frank Pfenning
出 处:Electronic Proceedings in Theoretical Computer Science. 2019 ;291:60-79.doi:10.4204/EPTCS.291.6
出 版 社:Open Publishing Association
文 章 ID:1034302075
作 者:Ankush Das ;Frank Pfenning
出 处:Logical Methods in Computer Science. 2022 ;18(1):1-36.doi:10.46298/lmcs-18(1:9)2022
出 版 社:Technical University of Braunschweig
文 章 ID:1038046953
作 者:Farzaneh Derakhshan ;Frank Pfenning
出 处:Logical Methods in Computer Science. 2022 ;18(2):1-51.doi:10.46298/lmcs-18(2:8)2022
出 版 社:Technical University of Braunschweig
文 章 ID:1038046975