Skip navigation
Skip navigation
A change is coming. Click to see a sneak peek of the new Open Research Repository.

Browsing by Author Gore, Rajeev

0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Or enter first few letters:  
Showing results 24 to 43 of 75

CardKt: Automated multi-modal deduction on Java cards for multi-application security

Author(s)Gore, Rajeev; Nguyen, Phuong
TypeBook chapter
Date Published2001
Date Created-

CardS4: modal theorem proving on Java smart cards

Author(s)Gore, Rajeev; Nguyen, Phuong
TypeJournal article
Date Published2002
Date Created-
03_Gore_CARDS4:_Modal_Theorem_Proving_2001.pdf.jpg

CARDS4: Modal Theorem Proving on Java Smartcards

Author(s)Gore, Rajeev; Nguyen, Phuong
TypeBook chapter
Date Published2001
Date Created-
01_Gore_Classical_modal_display_logic_2007.pdf.jpg

Classical modal display logic in the calculus of structures and minimal cut-free deep inference calculi for S5

Author(s)Gore, Rajeev; Tiu, Alwen
TypeJournal article
Date Published2007
Date Created-

Clausal Tableaux for Multimodal Logics of Belief

Author(s)Gore, Rajeev; Nguyen, Linh Anh
TypeJournal article
Date Published2009
Date Created-

Combining Derivations and Refutations for Cut-free Completeness in Bi-intuitionistic Logic

Author(s)Gore, Rajeev; Postniece (previously Buisman), Linda
TypeJournal article
Date Published2008
Date Created-

Completeness of hyper-resolution via the semantics of disjunctive logic programs

Author(s)Nguyen, Linh Anh; Gore, Rajeev
TypeJournal article
Date Published2005
Date Created-
03_Kramer_Computer-Aided_Decision-Making_2011.pdf.jpg

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
TypeJournal article
Date Published2011
Date Created-

Computer-aided decision-making with trust relations and trust domains (cryptographic applications)

Author(s)Kramer, Simon; Gore, Rajeev; Okamoto, Eiji
TypeJournal article
Date Published2014
Date Created-
01_Brotherston_Craig_Interpolation_in_2011.pdf.jpg

Craig Interpolation in Displayable Logics

Author(s)Brotherston, James; Gore, Rajeev
TypeConference paper
Date Published2011
Date CreatedJuly 4-8 2011

Cut-Elimination and Proof Search for Bi-Intuitionistic Tense Logic

Author(s)Gore, Rajeev; Postniece (previously Buisman), Linda; Tiu, Alwen
TypeConference paper
Date Published2010
Date CreatedAugust 24-27 2010
01_Gore_Cut-elimination_and_2008.pdf.jpg

Cut-elimination and proof-search for bi-intutionistic logic using nested sequents

Author(s)Gore, Rajeev; Postniece (previously Buisman), Linda; Tiu, Alwen
TypeConference paper
Date Published2008
Date CreatedSeptember 9-12 2008

Cut-elimination for Weak Grzegorczyk Logic Go

Author(s)Gore, Rajeev; Ramanayake, Revantha
TypeJournal article
Date Published2014
Date Created-

Data editing and logic

Author(s)Boskovitz, Agnes; Gore, Rajeev; Wong, Paul
TypeConference paper
Date Published2005
Date CreatedMay 16 2005

Display Calculi for Logics with Relative Accessibility Relations

Author(s)Demri, Stephane; Gore, Rajeev
TypeJournal article
Date Published2000
Date Created-

Dual Intuitionistic Logic Revisited

Author(s)Gore, Rajeev
TypeConference paper
Date Published2000
Date CreatedMarch 7 2000

Embedding Display Calculi into Logical Frameworks

Author(s)Dawson, Jeremy; Gore, Rajeev
TypeConference paper
Date Published2000
Date CreatedMarch 2 2000

Embedding Display Calculi into Logical Frameworks: Comparing Twelf and Isabelle

Author(s)Dawson, Jeremy; Gore, Rajeev
TypeConference paper
Date Published2001
Date CreatedJanuary 29 2001

ExpTime Tableaux for ALC Using Sound Global Caching

Author(s)Gore, Rajeev; Nguyen, Linh Anh
TypeJournal article
Date Published2011
Date Created-

EXPTIME tableaux for ALC using sound global caching

Author(s)Gore, Rajeev; Nguyen, Linh Anh
TypeConference paper
Date Published2007
Date CreatedJune 8-10 2007

Updated:  12 April 2016/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator