Bernhard Reus

发表

Thorsten Altenkirch, Bernhard Reus, Thorsten Altenkirch, 1999, CSL.
Thomas Streicher, Bernhard Reus, T. Streicher, 2011, CSL.
Hongseok Yang, Lars Birkedal, Jan Schwinghammer, 2009, CSL.
Martin Wirsing, Bernhard Reus, Alexander Knapp, 1999 .
Bernhard Reus, Tatjana Hein, 2000, TPHOLs.
Bernhard Reus, Bernhard Reus, 1999, Appl. Categorical Struct..
Bernhard Reus, 2016 .
Hongseok Yang, Lars Birkedal, Jan Schwinghammer, 2011, POPL '11.
Nathaniel Charlton, Bernhard Reus, Ben Horsfall, 2012, FTfJP@ECOOP.
Bernhard Reus, 2016 .
Hongseok Yang, Lars Birkedal, Jan Schwinghammer, 2010, FoSSaCS.
Bernhard Reus, Dirk Pattinson, D. Pattinson, 2005, FroCoS.
George Parisis, Bernhard Reus, Vasileios Klimis, 2020, CAV.
Nathaniel Charlton, Bernhard Reus, Bernhard Reus, 2013, Inf. Comput..
Martin Wirsing, Bernhard Reus, Alexander Knapp, 1997, AMAST.
Thomas Streicher, Bernhard Reus, T. Streicher, 2005, ICALP.
Thomas Streicher, Bernhard Reus, T. Streicher, 1993, MFCS.
Jan Schwinghammer, Bernhard Reus, Jan Schwinghammer, 2006, CSL.
Hongseok Yang, Lars Birkedal, Jan Schwinghammer, 2009, CSL.
Thomas Streicher, Bernhard Reus, 2012, Ann. Pure Appl. Log..
Bernhard Reus, Bernhard Reus, 2016 .
Bernhard Reus, Bernhard Reus, 1999, Realizability Semantics and Applications@FLoC.
Nathaniel Charlton, Bernhard Reus, Ben Horsfall, 2011, 2011 IEEE 27th International Conference on Data Engineering Workshops.
Thomas Streicher, Bernhard Reus, T. Streicher, 2002, Proceedings 17th Annual IEEE Symposium on Logic in Computer Science.
Thomas Streicher, Bernhard Reus, T. Streicher, 1999 .
Hongseok Yang, Lars Birkedal, Jan Schwinghammer, 2008, ICALP.
Bernhard Reus, 2016 .
Martin Wirsing, Bernhard Reus, Alexander Knapp, 1999, Formal Syntax and Semantics of Java.
Thomas Streicher, Bernhard Reus, T. Streicher, 1998, Journal of Functional Programming.
Jan Schwinghammer, Bernhard Reus, Jan Schwinghammer, 2006, Mathematical Structures in Computer Science.
Nathaniel Charlton, Bernhard Reus, Bernhard Reus, 2011, FCT.
Thomas Streicher, Bernhard Reus, 2002, LICS 2002.
Martin Wirsing, Bernhard Reus, Rolf Hennicker, 2001, FASE.
George Parisis, Bernhard Reus, Vasileios Klimis, 2020, 2020 Formal Methods in Computer Aided Design (FMCAD).
Bernhard Reus, 2016 .
Bernhard Reus, Bernhard Reus, 1999, ECOOP Workshops.
Bernhard Reus, 2016 .
Klaus Keimel, Thomas Streicher, Bernhard Reus, 2010, Math. Struct. Comput. Sci..
Thorsten Altenkirch, Bernhard Reus, Wolfgang Naraschewski, 1998 .
Bernhard Reus, 2016 .
Bernhard Reus, Bernhard Reus, 2003, CSL.
Bernhard Reus, 2016 .
Bernhard Reus, 2016 .
Bernhard Reus, 2004, Journal of Automated Reasoning.
Thomas Streicher, Bernhard Reus, 1999 .
Bernhard Reus, Bernhard Reus, 1995 .
Hongseok Yang, Lars Birkedal, Jan Schwinghammer, 2013, Math. Struct. Comput. Sci..
Nathaniel Charlton, Bernhard Reus, Ben Horsfall, 2014, Journal of Automated Reasoning.
Nathaniel Charlton, Bernhard Reus, Ben Horsfall, 2012, VMCAI.
Martin Wirsing, Bernhard Reus, Alexander Knapp, 1997, WADT.
Bernhard Reus, 2016 .
Thomas Streicher, Bernhard Reus, T. Streicher, 1997, Mathematical Structures in Computer Science.
Bernhard Reus, 2016 .
Nathaniel Charlton, Bernhard Reus, 2009, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Bernhard Reus, 2016 .
J. van Leeuwen, Jan van Leeuwen, Thorsten Altenkirch, 2001, Lecture Notes in Computer Science.
Bernhard Reus, Bernhard Reus, 2016, Undergraduate Topics in Computer Science.
Jan Schwinghammer, Bernhard Reus, Jan Schwinghammer, 2005, ESOP.
Bernhard Reus, Bernhard Reus, 2016 .
Ulrich Berger, Bernhard Reus, Karl-Heinz Niggl, 2001, Theor. Comput. Sci..