| |
| 2008 | ||
|---|---|---|
| 2 | EE | Mathias Barra: A Characterisation of the Relations Definable in Presburger Arithmetic. TAMC 2008: 258-269 |
| 2005 | ||
| 1 | EE | Lars Kristiansen, Mathias Barra: The Small Grzegorczyk Classes and the Typed lambda-Calculus. CiE 2005: 252-262 |
| 1 | Lars Kristiansen | [1] |