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