Applicative theories on tree ordinal numbers
| Title | Applicative theories on tree ordinal numbers |
| Publication Type | Master's Thesis |
| Authors | Fabian, D |
| Publisher | Universität Bern |
| Place Published | Institut für Informatik und angewandte Mathematik |
| Year of Publication | 2011 |
| Publication Language | eng |
| Type of Work | masters |
| URL | http://www.iam.unibe.ch/ltgpub/2011/fab11.pdf |
| Citation Key | fab11 |
