![]() | ![]() |
2008 | ||
---|---|---|
3 | EE | Mathias Barra: Pure Iteration and Periodicity. CiE 2008: 42-51 |
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] |