Browsing by Author Dawson, Jeremy
Showing results 14 to 19 of 19
Machine-checked reasoning about complex voting schemes using higher-order logic
Author(s) | Dawson, Jeremy; Gore, Rajeev; Meumann, Tom |
---|---|
Type | Conference paper |
Date Published | 2015 |
Date Created | September 2-4, 2015 |
Machine-checking the timed interval calculus
Author(s) | Dawson, Jeremy; Gore, Rajeev |
---|---|
Type | Conference paper |
Date Published | 2002 |
Date Created | December 2 2002 |
Mechanising cut-elimination for display logic
Author(s) | Dawson, Jeremy; Gore, Rajeev |
---|---|
Type | Working/Technical Paper |
Date Published | 2001 |
Date Created | 2001 |
Privacy and Access to information
Author(s) | Mize, Selene; Dawson, Jeremy; Peart, Nicola |
---|---|
Type | Book chapter |
Date Published | 2003 |
Date Created | - |
Termination of abstract reduction systems
Author(s) | Dawson, Jeremy; Gore, Rajeev |
---|---|
Type | Journal article |
Date Published | 2009 |
Date Created | - |
Termination of abstract reduction systems
Author(s) | Dawson, Jeremy; Gore, Rajeev |
---|---|
Type | Conference paper |
Date Published | 2007 |
Date Created | January 30-February 2 2007 |
- previous
- 1
- next
Updated: 12 April 2016/ Responsible Officer: University Librarian/ Page Contact: Library Systems & Web Coordinator