Anthony G. Cohn
Original record- Institution
- University of Essex
- Year
- 1983
- Country
- United Kingdom
- MGP identifier
- 102694
Dissertation: Mechanising a Particularly Expressive Many Sorted Logic
Mathematics Subject Classification: 68—Computer science
Advisor 1
- Patrick John HayesThe University of Edinburgh · 1973
Students 12
| Name | Institution | Year | Students |
|---|---|---|---|
| Muhannad Alomari | University of Leeds | 2017 | 0 |
| Brandon Bennett | University of Leeds | 1998 | 2 |
| Jonathan Fernyhough | University of Leeds | 1997 | 0 |
| Ian Philip Gent | University of Warwick | 1993 | 1 |
| Shyamanta M. Hazarika | University of Leeds | 2005 | 0 |
| Felix Hovsepian | University of Warwick | 1992 | 0 |
| Gerald Kelleher | University of Leeds | 1990 | 0 |
| Gyorgy Lajos | University of Leeds | 1992 | 0 |
| Celia Ralha | University of Leeds | 1997 | 0 |
| José Ralha | University of Leeds | 1999 | 0 |
| David Randell | University of Warwick | 1991 | 0 |
| Stephen Wright | University of Leeds | 2000 | 1 |