| Home |
| About |
| Submission |
| Updating Entries |
| Using Entries |
| Search |
| Statistics |
| Index |
| Download |
Stefan Berghofer
| Website: http://www.in.tum.de/~berghofe |
Entries
| 2017 |
| February 28: The Group Law for Elliptic Curves |
| 2013 |
| February 21: Nominal 2 |
| 2009 |
| December 3: Formalizing the Logic-Automaton Connection |
| 2007 |
| August 2: POPLmark Challenge Via de Bruijn Indices |
| August 2: First-Order Logic According to Fitting |