dblp.uni-trier.dewww.uni-trier.de

Tom Gundersen

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
2EEPaola Bruscoli, Alessio Guglielmi, Tom Gundersen, Michel Parigot: Quasipolynomial Normalisation in Deep Inference via Atomic Flows and Threshold Formulae CoRR abs/0903.5392: (2009)
2007
1EEAlessio Guglielmi, Tom Gundersen: Normalisation Control in Deep Inference Via Atomic Flows CoRR abs/0709.1205: (2007)

Coauthor Index

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

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)