Herman Ruge Jervell

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2005

2 Herman Ruge Jervell: Finite Trees as Ordinals. CiE 2005: 211-220

1992

1 Stål Aanderaa, Herman Ruge Jervell: Recursive Inseparability in Linear Logic. CSL 1992: 5-13

	2005
2		Herman Ruge Jervell: Finite Trees as Ordinals. CiE 2005: 211-220
	1992
1		Stål Aanderaa, Herman Ruge Jervell: Recursive Inseparability in Linear Logic. CSL 1992: 5-13

Coauthor Index

1 Stål Aanderaa [1]