Henrik Persson

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2008

3 Johan M. Karlsson, Henrik Persson: Hierarchical structure of wireless systems - an analytical performance study. PIMRC 2008: 1-6

1998

2 Thierry Coquand, Henrik Persson: Gröbner Bases in Type Theory. TYPES 1998: 33-46

1997

1 Thierry Coquand, Henrik Persson: A Proof-Theoretical Investigation of Zantema's Problem. CSL 1997: 177-188

	2008
3		Johan M. Karlsson, Henrik Persson: Hierarchical structure of wireless systems - an analytical performance study. PIMRC 2008: 1-6
	1998
2		Thierry Coquand, Henrik Persson: Gröbner Bases in Type Theory. TYPES 1998: 33-46
	1997
1		Thierry Coquand, Henrik Persson: A Proof-Theoretical Investigation of Zantema's Problem. CSL 1997: 177-188

Coauthor Index

1 Thierry Coquand [1] [2]

2 Johan M. Karlsson [3]

Colors in the list of coauthors