Browsing by Author Gore, Rajeev
Showing results 23 to 42 of 75
BDD-Based Automated Reasoning for Propositional Bi-Intuitionistic Tense Logics
Author(s) | Gore, Rajeev; Thomson, James |
---|---|
Type | Conference paper |
Date Published | 2012 |
Date Created | June 26-29 2012 |
CardKt: Automated multi-modal deduction on Java cards for multi-application security
Author(s) | Gore, Rajeev; Nguyen, Phuong |
---|---|
Type | Book chapter |
Date Published | 2001 |
Date Created | - |
CardS4: modal theorem proving on Java smart cards
Author(s) | Gore, Rajeev; Nguyen, Phuong |
---|---|
Type | Journal article |
Date Published | 2002 |
Date Created | - |
CARDS4: Modal Theorem Proving on Java Smartcards
Author(s) | Gore, Rajeev; Nguyen, Phuong |
---|---|
Type | Book chapter |
Date Published | 2001 |
Date Created | - |
Classical modal display logic in the calculus of structures and minimal cut-free deep inference calculi for S5
Author(s) | Gore, Rajeev; Tiu, Alwen |
---|---|
Type | Journal article |
Date Published | 2007 |
Date Created | - |
Clausal Tableaux for Multimodal Logics of Belief
Author(s) | Gore, Rajeev; Nguyen, Linh Anh |
---|---|
Type | Journal article |
Date Published | 2009 |
Date Created | - |
Combining Derivations and Refutations for Cut-free Completeness in Bi-intuitionistic Logic
Author(s) | Gore, Rajeev; Postniece (previously Buisman), Linda |
---|---|
Type | Journal article |
Date Published | 2008 |
Date Created | - |
Completeness of hyper-resolution via the semantics of disjunctive logic programs
Author(s) | Nguyen, Linh Anh; Gore, Rajeev |
---|---|
Type | Journal article |
Date Published | 2005 |
Date Created | - |
Computer-Aided Decision-Making for Formal Relations and Domains of Trust, Distrust, and Mistrust with Cryptographic Applications
Author(s) | Kramer, Simon; Gore, Rajeev; Okamoto, Eiji |
---|---|
Type | Journal article |
Date Published | 2011 |
Date Created | - |
Computer-aided decision-making with trust relations and trust domains (cryptographic applications)
Author(s) | Kramer, Simon; Gore, Rajeev; Okamoto, Eiji |
---|---|
Type | Journal article |
Date Published | 2014 |
Date Created | - |
Craig Interpolation in Displayable Logics
Author(s) | Brotherston, James; Gore, Rajeev |
---|---|
Type | Conference paper |
Date Published | 2011 |
Date Created | July 4-8 2011 |
Cut-Elimination and Proof Search for Bi-Intuitionistic Tense Logic
Author(s) | Gore, Rajeev; Postniece (previously Buisman), Linda; Tiu, Alwen |
---|---|
Type | Conference paper |
Date Published | 2010 |
Date Created | August 24-27 2010 |
Cut-elimination and proof-search for bi-intutionistic logic using nested sequents
Author(s) | Gore, Rajeev; Postniece (previously Buisman), Linda; Tiu, Alwen |
---|---|
Type | Conference paper |
Date Published | 2008 |
Date Created | September 9-12 2008 |
Cut-elimination for Weak Grzegorczyk Logic Go
Author(s) | Gore, Rajeev; Ramanayake, Revantha |
---|---|
Type | Journal article |
Date Published | 2014 |
Date Created | - |
Data editing and logic
Author(s) | Boskovitz, Agnes; Gore, Rajeev; Wong, Paul |
---|---|
Type | Conference paper |
Date Published | 2005 |
Date Created | May 16 2005 |
Display Calculi for Logics with Relative Accessibility Relations
Author(s) | Demri, Stephane; Gore, Rajeev |
---|---|
Type | Journal article |
Date Published | 2000 |
Date Created | - |
Dual Intuitionistic Logic Revisited
Author(s) | Gore, Rajeev |
---|---|
Type | Conference paper |
Date Published | 2000 |
Date Created | March 7 2000 |
Embedding Display Calculi into Logical Frameworks
Author(s) | Dawson, Jeremy; Gore, Rajeev |
---|---|
Type | Conference paper |
Date Published | 2000 |
Date Created | March 2 2000 |
Embedding Display Calculi into Logical Frameworks: Comparing Twelf and Isabelle
Author(s) | Dawson, Jeremy; Gore, Rajeev |
---|---|
Type | Conference paper |
Date Published | 2001 |
Date Created | January 29 2001 |
ExpTime Tableaux for ALC Using Sound Global Caching
Author(s) | Gore, Rajeev; Nguyen, Linh Anh |
---|---|
Type | Journal article |
Date Published | 2011 |
Date Created | - |
Updated: 12 April 2016/ Responsible Officer: University Librarian/ Page Contact: Library Systems & Web Coordinator