| Date of Award | 31 Aug 2006 |
|---|---|
| Original language | English |
| Supervisor | K.M. van Hee (Supervisor 1) |
Analysis of well-formedness and soundness by reduction techniques and their implementation
Student thesis: Master