## 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