## Homepages 🌐

- https://www.cs.vu.nl/~abp290/

## E-Mails 📧

- moc.liamg @pmaktneb

## Entries

### 2018

##### Formalization of the Embedding Path Order for Lambda-Free Higher-Order Terms

by Alexander Bentkamp 🌐
Oct 19

### 2016

##### Expressiveness of Deep Learning

by Alexander Bentkamp 📧
Nov 10

### 2015

##### Latin Square

by Alexander Bentkamp 📧
Dec 02

### 2010

##### Executable Multivariate Polynomials

by Christian Sternagel 📧, René Thiemann 🌐, Alexander Maletzky 🌐, Fabian Immler 🌐, Florian Haftmann 🌐, Andreas Lochbihler 🌐 and Alexander Bentkamp 📧
Aug 10