Tom Gundersen

	2009
3		Paola Bruscoli, Alessio Guglielmi, Tom Gundersen, Michel Parigot: Quasipolynomial Normalisation in Deep Inference via Atomic Flows and Threshold Formulae CoRR abs/0903.5392: (2009)
	2008
2		Alessio Guglielmi, Tom Gundersen: Normalisation Control in Deep Inference via Atomic Flows. Logical Methods in Computer Science 4(1): (2008)
	2007
1		Alessio Guglielmi, Tom Gundersen: Normalisation Control in Deep Inference Via Atomic Flows CoRR abs/0709.1205: (2007)

Coauthor Index

1	Paola Bruscoli	[3]
2	Alessio Guglielmi	[1] [2] [3]
3	Michel Parigot	[3]