作 者:Florian Rabe
出 处:Electronic Proceedings in Theoretical Computer Science. 2010 ;34:85-99.doi:10.4204/EPTCS.34.8
出 版 社:Open Publishing Association
文 章 ID:83120008
作 者:Michael Kohlhase ;Florian Rabe
出 处:Journal of Formalized Reasoning. 2016 ;9(1):201-234.doi:10.6092/issn.1972-5787/4570
出 版 社:Alma Mater Studiorum - University of Bologna
文 章 ID:184649926
作 者:Michael Kohlhase ;Florian Rabe ;Makarius Wenzel
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;175:1-24.doi:10.4230/LIPIcs.TYPES.2019.1
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:256859670
作 者:Dennis Müller ;Florian Rabe
出 处:Electronic Proceedings in Theoretical Computer Science. 2019 ;307:40-54.doi:10.4204/EPTCS.307.5
出 版 社:Open Publishing Association
文 章 ID:1033558607