| |
| 2009 | ||
|---|---|---|
| 3 | EE | Peter Morris, Thorsten Altenkirch, Neil Ghani: A Universe of Strictly Positive Families. Int. J. Found. Comput. Sci. 20(1): 83-107 (2009) |
| 2007 | ||
| 2 | EE | Peter Morris, Thorsten Altenkirch, Neil Ghani: Constructing Strictly Positive Families. CATS 2007: 111-121 |
| 2004 | ||
| 1 | EE | Peter Morris, Thorsten Altenkirch, Conor McBride: Exploring the Regular Tree Types. TYPES 2004: 252-267 |
| 1 | Thorsten Altenkirch | [1] [2] [3] |
| 2 | Neil Ghani | [2] [3] |
| 3 | Conor McBride | [1] |