Browsing by Author Gore, Rajeev
Showing results 62 to 75 of 75
Proof Search for Propositional Abstract Separation Logics via Labelled Sequents
Author(s) | Hou, Zhe; Clouston, Ranald; Gore, Rajeev, et al |
---|---|
Type | Conference paper |
Date Published | 2014 |
Date Created | January 22-24 2014 |
Proving the monotonicity criterion for a plurality vote-counting program as a step towards verified vote-counting
Author(s) | Gore, Rajeev; Meumann, Thomas |
---|---|
Type | Conference paper |
Date Published | 2014 |
Date Created | 29-31 October 2014 |
Reasoning About Vote Counting Schemes Using Light-weight and Heavy-weight Methods
Author(s) | Beckert, Bernhard; Bormer, Thorsten; Gore, Rajeev, et al |
---|---|
Type | Conference paper |
Date Published | 2014 |
Date Created | 23-24 July 2014 |
Semantic Sensor Composition
Author(s) | Tran, Khoi-Nguyen; Compton, Michael; Wu, Jemma, et al |
---|---|
Type | Conference paper |
Date Published | 2011 |
Date Created | November 7 2010 |
Sequent Calculus in the Topos of Trees
Author(s) | Clouston, Ranald; Gore, Rajeev |
---|---|
Type | Journal article |
Date Published | 2015 |
Date Created | - |
Sound Global State Caching for ALC with Inverse roles
Author(s) | Gore, Rajeev; Widmann, Florian |
---|---|
Type | Conference paper |
Date Published | 2009 |
Date Created | July 6-10 2009 |
System description: KtSeqC
Author(s) | Gore, Rajeev |
---|---|
Type | Conference paper |
Date Published | 1999 |
Date Created | June 7-11 1999 |
Taming displayed tense logics using nested sequents with deep inference
Author(s) | Gore, Rajeev; Postniece (previously Buisman), Linda; Tiu, Alwen |
---|---|
Type | Conference paper |
Date Published | 2009 |
Date Created | July 6-10 2009 |
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 |
Theoremhood-preserving maps characterising cut elimination for modal provability logics
Author(s) | Demri, Stephane; Gore, Rajeev |
---|---|
Type | Journal article |
Date Published | 2002 |
Date Created | - |
Valentini's cut-elimination for provability logic resolved
Author(s) | Gore, Rajeev; Ramanayake, Revantha |
---|---|
Type | Conference paper |
Date Published | 2008 |
Date Created | September 9-12 2008 |
Valentini's cut-elimination for provability logic resolved
Author(s) | Gore, Rajeev; Ramanayake, Revantha |
---|---|
Type | Journal article |
Date Published | 2012 |
Date Created | - |
Verifying voting schemes
Author(s) | Beckert, Bernhard; Gore, Rajeev; Schurmann, Carsten, et al |
---|---|
Type | Journal article |
Date Published | 2014 |
Date Created | - |
Updated: 12 April 2016/ Responsible Officer: University Librarian/ Page Contact: Library Systems & Web Coordinator