Stefan Berghofer

http://www.in.tum.de/~berghofe

2017

The Group Law for Elliptic Curves
by Stefan Berghofer

28 Feb

2013

Nominal 2
by Christian Urban, Stefan Berghofer and Cezary Kaliszyk

21 Feb

2009

Formalizing the Logic-Automaton Connection
by Stefan Berghofer and Markus Reiter

03 Dec

2007

POPLmark Challenge Via de Bruijn Indices
by Stefan Berghofer

02 Aug

First-Order Logic According to Fitting
by Stefan Berghofer

02 Aug