Bernhard Reus

发表

Bernhard Reus, Bernhard Reus, 2016 .
Bernhard Reus, Bernhard Reus, 2016, Undergraduate Topics in Computer Science.
Ulrich Berger, Bernhard Reus, Karl-Heinz Niggl, 2001, Theor. Comput. Sci..
Bernhard Reus, Bernhard Reus, 1999, ECOOP Workshops.
Thomas Streicher, Bernhard Reus, T. Streicher, 1999 .
Thorsten Altenkirch, Bernhard Reus, Wolfgang Naraschewski, 1998 .
Bernhard Reus, 2016 .
Bernhard Reus, Bernhard Reus, 2016 .
Bernhard Reus, Dirk Pattinson, D. Pattinson, 2005, FroCoS.
Thomas Streicher, Bernhard Reus, T. Streicher, 2002, Proceedings 17th Annual IEEE Symposium on Logic in Computer Science.
Thorsten Altenkirch, Bernhard Reus, Thorsten Altenkirch, 1999, CSL.
J. van Leeuwen, Jan van Leeuwen, Thorsten Altenkirch, 2001, Lecture Notes in Computer Science.
Thomas Streicher, Bernhard Reus, T. Streicher, 2011, CSL.
George Parisis, Bernhard Reus, Vasileios Klimis, 2020, CAV.
Bernhard Reus, G. Parisis, Vasileios Klimis, 2020, 2020 Formal Methods in Computer Aided Design (FMCAD).
Alexander Knapp, Bernhard Reus, Heribert Mühlberger, 2023, ArXiv.
Jan Schwinghammer, Bernhard Reus, Jan Schwinghammer, 2006, Mathematical Structures in Computer Science.
Bernhard Reus, Bernhard Reus, 1999, Appl. Categorical Struct..
Thomas Streicher, Bernhard Reus, T. Streicher, 1993, MFCS.
Bernhard Reus, Bernhard Reus, 1999, Realizability Semantics and Applications@FLoC.
Thomas Streicher, Bernhard Reus, T. Streicher, 1998, Journal of Functional Programming.
Thomas Streicher, Bernhard Reus, T. Streicher, 2005, ICALP.
Martin Wirsing, Bernhard Reus, Alexander Knapp, 1999 .
Hongseok Yang, Lars Birkedal, Jan Schwinghammer, 2011, POPL '11.
Hongseok Yang, Lars Birkedal, Jan Schwinghammer, 2009, CSL.
Jan Schwinghammer, Bernhard Reus, Jan Schwinghammer, 2006, CSL.
Jan Schwinghammer, Bernhard Reus, Jan Schwinghammer, 2005, ESOP.
Thomas Streicher, Bernhard Reus, T. Streicher, 1997, Mathematical Structures in Computer Science.
L. Birkedal, Jan Schwinghammer, Bernhard Reus, 2009 .
Bernhard Reus, Bernhard Reus, 1995 .
Nathaniel Charlton, Bernhard Reus, Bernhard Reus, 2013, Inf. Comput..
Nathaniel Charlton, Bernhard Reus, Ben Horsfall, 2012, FTfJP@ECOOP.
Nathaniel Charlton, Bernhard Reus, Bernhard Reus, 2011, FCT.
Martin Wirsing, Bernhard Reus, Rolf Hennicker, 2001, FASE.
Martin Wirsing, Bernhard Reus, Alexander Knapp, 1999, Formal Syntax and Semantics of Java.
Bernhard Reus, Bernhard Reus, 2003, CSL.