Browsing by Author 0538835b-e994-444c-ad7d-6a4ab926edca
Showing results 21 to 26 of 26
Syntactic Cut-Elimination and Backward Proof-Search for Tense Logic via Linear Nested Sequents
Author(s) | Gore, Rajeev; Lellmann, Bjorn |
---|---|
Type | Conference paper |
Date Published | 14-Aug-2019 |
Date Created | September 3-5 2019 |
Syntactic Interpolation for Tense Logics and Bi-Intuitionistic Logic via Nested Sequents
Author(s) | Lyon, Tim; Tiu, Alwen; Gore, Rajeev, et al |
---|---|
Type | Conference paper |
Date Published | 2020 |
Date Created | Jan 13-16 2020 |
System description: The Tableau workbench
Author(s) | Abate, Pietro; Gore, Rajeev |
---|---|
Type | Conference paper |
Date Published | 2009 |
Date Created | November 29-30 2007 |
The Tableaux Work Bench
Author(s) | Abate, Pietro; Gore, Rajeev |
---|---|
Type | Conference paper |
Date Published | 2003 |
Date Created | September 9 2003 |
Verified Verifiers for Verifying Elections
Author(s) | Haines, Thomas; Gore, Rajeev; Tiwari, Mukesh |
---|---|
Type | Conference paper |
Date Published | 2019 |
Date Created | Nov 11-15 2019 |
Well-Founded Unions
Author(s) | Dawson, Jeremy; Dershowitz, Nachum; Gore, Rajeev |
---|---|
Type | Conference paper |
Date Published | 14-Jul-2018 |
Date Created | - |
Updated: 12 April 2016/ Responsible Officer: University Librarian/ Page Contact: Library Systems & Web Coordinator