Mathias Barra

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2009

4 Mathias Barra, Philipp Gerhardy: Skolem + Tetration Is Well-Ordered. CiE 2009: 11-20

2008

3 Mathias Barra: Pure Iteration and Periodicity. CiE 2008: 42-51

2 Mathias Barra: A Characterisation of the Relations Definable in Presburger Arithmetic. TAMC 2008: 258-269

2005

1 Lars Kristiansen, Mathias Barra: The Small Grzegorczyk Classes and the Typed lambda-Calculus. CiE 2005: 252-262

	2009
4		Mathias Barra, Philipp Gerhardy: Skolem + Tetration Is Well-Ordered. CiE 2009: 11-20
	2008
3		Mathias Barra: Pure Iteration and Periodicity. CiE 2008: 42-51
2		Mathias Barra: A Characterisation of the Relations Definable in Presburger Arithmetic. TAMC 2008: 258-269
	2005
1		Lars Kristiansen, Mathias Barra: The Small Grzegorczyk Classes and the Typed lambda-Calculus. CiE 2005: 252-262

Coauthor Index

1 Philipp Gerhardy [4]

2 Lars Kristiansen [1]

Colors in the list of coauthors