Tom Gundersen

	2010
6		Alessio Guglielmi, Tom Gundersen, Lutz Straßburger: Breaking Paths in Atomic Flows for Classical Logic. LICS 2010: 284-293
5		Paola Bruscoli, Alessio Guglielmi, Tom Gundersen, Michel Parigot: A Quasipolynomial Cut-Elimination Procedure in Deep Inference via Atomic Flows and Threshold Formulae. LPAR (Dakar) 2010: 136-153
4		Alessio Guglielmi, Tom Gundersen, Michel Parigot: A Proof Calculus Which Reduces Syntactic Bureaucracy. RTA 2010: 135-150
	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] [5]
2	Alessio Guglielmi	[1] [2] [3] [4] [5] [6]
3	Michel Parigot	[3] [4] [5]
4	Lutz Straßburger	[6]

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page