S
tefan
B
erghofer
Homepages 🌐
http://www.in.tum.de/~berghofe
Entries
2017
The Group Law for Elliptic Curves
by
Stefan Berghofer
Feb 28
2013
Nominal 2
by
Christian Urban
,
Stefan Berghofer
and
Cezary Kaliszyk
Feb 21
2009
Formalizing the Logic-Automaton Connection
by
Stefan Berghofer
and
Markus Reiter
Dec 03
2007
POPLmark Challenge Via de Bruijn Indices
by
Stefan Berghofer
Aug 02
First-Order Logic According to Fitting
by
Stefan Berghofer
Aug 02