| Date of Award | 2007 |
|---|---|
| Original language | English |
| Supervisor | İlyas Çiçekli (Supervisor) |
Induction of logical relations based on specific generalization of strings
Student thesis: Master's Thesis